coscine/issues#2518
Checking pipeline status.
Merge details
Pipeline #963748 failed
Pipeline failed for 3b5b5fe7 on dev 2 years ago
master
dev
changed target branch from master to dev
added 1 commit
Compare with previous version
approved this merge request
mentioned in commit 3b5b5fe7
merged
