On the 17th of April from 18:00 to 20:00, We will be upgrading GitLab. During this time the service will be unavailable, apologies for any inconvenience
enabled an automatic merge when the pipeline for ce62714d succeeds
mentioned in commit 1ad009ea
merged