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 c6d30c05 succeeds
mentioned in commit 922a3e41
merged