Checking pipeline status.
enabled an automatic merge when the pipeline for c9aa8a7c succeeds
merged
mentioned in commit ec8e0e2d