Checking pipeline status.
Pipeline #75925 passed
Pipeline passed for ec5a5bf5 on master 5 years ago
enabled an automatic merge when the pipeline for 2d27e7df succeeds
merged
mentioned in commit ec5a5bf5
