Checking pipeline status.
approved this merge request
enabled an automatic merge when the pipeline for dfce8e4d succeeds
merged
mentioned in commit 2bab6358