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 01a72e8c succeeds
merged
mentioned in commit 71f9ca2c