Merge branch 'version1.0.1-release' into 'master'

Version 1.0.1 release

See merge request !355
10 jobs for 1.0.1 in 5 minutes and 52 seconds (queued for 2 seconds)
latest