coscine/issues#572
Checking pipeline status.
Merge details
Pipeline #227265 passed
Pipeline passed for 7f061ea0 on master 5 years ago
merged
mentioned in commit 7f061ea0