Checking pipeline status.
Merge details
Pipeline #231333 passed
Pipeline passed for 50dcacc6 on master 5 years ago
enabled an automatic merge when the pipeline for fa180e2f succeeds
mentioned in commit 50dcacc6
merged
