Gitlab has been updated. More info here.
Fixes #103 (closed)
approved this merge request
enabled an automatic merge when the pipeline for daa49908 succeeds
merged
mentioned in commit 4aa66dea