Commit 717578cf authored by Laurent Heirendt's avatar Laurent Heirendt

Merge branch 'develop' into 'master'

Regular merge of develop

See merge request !59
parents 29a86b9f f2a54647
Pipeline #18853 passed with stage
in 46 seconds