Gitlab has been updated. More info here.
Checking pipeline status.
Merge details
assigned to @gbaulieu
merged
mentioned in commit 339f515e