Merge branch 'master' into master_fedora-build

8 jobs for master_fedora-build in 2 minutes and 16 seconds (queued for 1 second)