Checking pipeline status.
enabled an automatic merge when the pipeline for 5dab8dbe succeeds
approved this merge request
canceled the automatic merge
mentioned in commit 8844efb4
merged
