Checking pipeline status.
Merge details
Pipeline #27424 passed
Pipeline passed for 12376dde on master 5 years ago
enabled an automatic merge when the pipeline for d35f21f1 succeeds
approved this merge request
unapproved this merge request
merged
mentioned in commit 12376dde