Gitlab has been updated. More info here.
Delete test-dev
approved this merge request
merged
mentioned in commit 7cc0bba0