Checking pipeline status.
Pipeline #861944 passed
Pipeline passed for 768f6242 on master 2 years ago
approved this merge request
enabled an automatic merge when the pipeline for d303ec19 succeeds
merged
mentioned in commit 768f6242