Checking pipeline status.
Pipeline #1442293 passed
Pipeline passed for 4157da85 on master 11 months ago
approved this merge request
mentioned in commit 4157da85
merged
