coscine/issues#1025
Checking pipeline status.
Pipeline #324000 passed
Pipeline passed for d9162882 on master 4 years ago
merged