coscine/issues#2278
Checking pipeline status.
Merge details
Pipeline #847902 passed
Pipeline passed for 9742010d on dev 2 years ago
approved this merge request
mentioned in commit 9742010d
merged