Commit 05e6fe8c authored by Laurent Heirendt's avatar Laurent Heirendt

Merge branch 'develop' into 'master'

Regular merge of develop

See merge request !67
parents a808e347 4ce8acbf
Pipeline #23323 passed with stage
in 1 minute and 46 seconds