Closes #1492 (closed)
Checking pipeline status.
Pipeline #70079151 passed
Pipeline passed for 63fa85bc on master 5 years ago
approved this merge request
mentioned in commit 63fa85bc
merged