Checking pipeline status.
Merge details
Pipeline #7995 passed
Pipeline passed for 8717581e on master 5 years ago
enabled an automatic merge when the pipeline for 28e7707b succeeds
merged
mentioned in commit 8717581e