Checking pipeline status.
Merge details
Pipeline #7431 passed
Pipeline passed for 119aed0e on master 1 year ago
enabled an automatic merge when the pipeline for cf216dc3 succeeds
mentioned in commit 119aed0e
merged
