coscine/issues#1584
Checking pipeline status.
Merge details
Pipeline #488295 passed
Pipeline passed for 1771b4b8 on master 4 years ago
marked this merge request as ready
approved this merge request
mentioned in commit 1771b4b8
merged