Checking pipeline status.
enabled an automatic merge when the pipeline for 453cb5d4 succeeds
approved this merge request
merged
mentioned in commit 8930e16c
