Commit 58c368cc authored by Laurent Heirendt's avatar Laurent Heirendt

Merge branch 'develop' into 'master'

Regular merge of develop

See merge request !58
parents 78c1b858 cb24c75e
Pipeline #16428 passed with stage
in 2 minutes and 1 second