Checking pipeline status.
Pipeline #100338530 passed
Pipeline passed for 92616cd7 on master 5 years ago
approved this merge request
merged
mentioned in commit 92616cd7