Merge branch 'release-0.7.4' into 'master'

Release 0.7.4

See merge request !161
2 jobs for master
in 3 minutes and 35 seconds and was queued for 0 seconds