Merge branch 'develop-v5.1.1' into 'master'

Develop v5.1.1

See merge request !195
1 job for master
in 9 minutes and 15 seconds, using 0 compute credits, and was queued for 4 seconds