Commit 78c1b858 authored by Laurent Heirendt's avatar Laurent Heirendt

Merge branch 'develop' into 'master'

Regular merge of develop

See merge request !55
parents 227340d8 3c05119b
Pipeline #14651 passed with stage
in 1 minute and 45 seconds