Checking pipeline status.
Pipeline #493073 passed
Pipeline passed for 5517eff0 on master 3 years ago
marked this merge request as ready
approved this merge request
merged
mentioned in commit 5517eff0