Commit 24757fd1 authored by Yves's avatar Yves

Fix of weird mess in Gitlab

Redo change previously merged in master but were rolled back for
unknown reasons.
parent 99d7c6ad
Pipeline #167860123 passed with stages
in 15 minutes and 54 seconds