Checking pipeline status.
Merge details
Pipeline #2339 passed
Pipeline passed for 965d7753 on master 7 years ago
enabled an automatic merge when the pipeline for 7402d29b succeeds
merged
mentioned in commit 965d7753