coscine/issues#243
Checking pipeline status.
Merge details
Pipeline #189446 passed
Pipeline passed for 2d3564c5 on master 5 years ago
enabled an automatic merge when the pipeline for 5d72f235 succeeds
merged
mentioned in commit 2d3564c5