Checking pipeline status.
Pipeline #547 passed
Pipeline passed for 9cd3751e on master 6 years ago
enabled an automatic merge when the pipeline for 2e9674f3 succeeds
merged
mentioned in commit 9cd3751e