Checking pipeline status.
approved this merge request
enabled an automatic merge when the pipeline for 11aa89b4 succeeds
merged
mentioned in commit 29cf022f