coscine/issues#1025
Checking pipeline status.
Merge details
Pipeline #324000 passed
Pipeline passed for d9162882 on master Aug 26, 2020
merged