Maintenance on Tuesday 15.4. at 14:00. ETA 60 - 90 minutes.
enabled an automatic merge when the pipeline for d517f795 succeeds
merged
mentioned in commit 7c8cd261