GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
Related to bug 13715
assigned to @pijacquo
enabled an automatic merge when the pipeline for 0ccff1af succeeds
merged
mentioned in commit caf82952