Checking pipeline status.
enabled an automatic merge when the pipeline for 67c17e9c succeeds
merged
mentioned in commit 665c808d