Merge branch 'develop'

1 job from master in 1 minute and 56 seconds (queued for 9 minutes and 31 seconds)
Status Job ID Name Coverage
  Build
passed #714
appimage

00:01:56