Checking pipeline status.
Pipeline #1018952 passed
Pipeline passed for 3ef2aed6 on master 1 year ago
approved this merge request
mentioned in commit 3ef2aed6
merged