Checking pipeline status.
Merge details
Pipeline #231317 passed
Pipeline passed for dc736cba on master 5 years ago
enabled an automatic merge when the pipeline for c727d837 succeeds
merged
mentioned in commit dc736cba