Checking pipeline status.
Pipeline #8315 passed
Pipeline passed for 79eff53d on master 8 years ago
added 1 commit
Compare with previous version
enabled an automatic merge when the pipeline for 8063a1df succeeds
merged
mentioned in commit 79eff53d