This Merge Request is automatically created
Checking pipeline status.
Pipeline #761907 passed
Pipeline passed for 5ed0462d on master 2 years ago
added 1 commit
Compare with previous version
approved this merge request
enabled an automatic merge when the pipeline for 01113c2b succeeds
merged
mentioned in commit 5ed0462d