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 a0c734a0 succeeds
mentioned in commit fc318999
merged