Merge branch 'release' into 'master'

Release version

See merge request !17
2 jobs for master in 21 minutes and 27 seconds (queued for 12 minutes and 54 seconds)