Gitlab migration complete. If you have any issue please read the FAQ.

Commit e9832676 authored by Laurent Heirendt's avatar Laurent Heirendt
Browse files

Merge branch 'develop' into 'master'

Regular merge of develop

See merge request !4
parents 2beef3b3 585c2563
Pipeline #16244 passed with stages
in 51 seconds