Checking pipeline status.
approved this merge request
enabled an automatic merge when the pipeline for 71004e2e succeeds
mentioned in commit 1c2c0c36
merged