Commit ae6e28d9 authored by Laurent Heirendt's avatar Laurent Heirendt

Merge branch 'develop' into 'master'

Regular merge of develop

See merge request !76
parents 1c20011d 583d7a26
Pipeline #26638 failed with stage
in 3 minutes and 24 seconds