This Merge Request is automatically created
Checking pipeline status.
Pipeline #772176 passed
Pipeline passed for 30519bbe on master 2 years ago
added 2 commits
Compare with previous version
approved this merge request
merged
mentioned in commit 30519bbe