Merge branch 'develop-v0.3.1' into 'master'

Develop v0.3.1

See merge request !42
1 job for master
in 36 seconds, using 0 compute credits, and was queued for 3 seconds