Commit 4403c2f9 authored by Laurent Heirendt's avatar Laurent Heirendt

Merge branch 'develop' into 'master'

Regular merge of develop

See merge request !40
parents f71fa9ac f1168a2a
Pipeline #9856 passed with stage
in 1 minute and 10 seconds