coscine/issues#2518
Checking pipeline status.
Pipeline #963743 passed
Pipeline passed for 774646b3 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 774646b3
merged
