Commit 584fdbef authored by Laurent Heirendt's avatar Laurent Heirendt

Merge branch 'develop' into 'master'

Regular merge of develop

See merge request !35
parents 0616aad1 a3894434
Pipeline #16206 passed with stage
in 1 minute and 18 seconds