coscine/issues#1584
Checking pipeline status.
Pipeline #488301 passed
Pipeline passed for 7188fa5a on master 3 years ago
marked this merge request as ready
approved this merge request
merged
mentioned in commit 7188fa5a