Commit a9d1dba4 authored by Laurent Heirendt's avatar Laurent Heirendt

Merge branch 'develop' into 'master'

Regular merge of develop

See merge request !6
parents 0045a871 957f45f4
Pipeline #16420 passed with stage
in 37 seconds