Merge branch 'develop-release_1.0.0' into 'master'

Develop release 1.0.0

See merge request !72
1 job for master
in 3 minutes and 11 seconds, using 0 compute credits, and was queued for 2 seconds