Merge branch 'develop'

1 job from master in 11 minutes and 57 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #113
appimage

00:11:57