coscine/issues#1357
Checking pipeline status.
Pipeline #419308 passed
Pipeline passed for b53bf6c3 on master 4 years ago
approved this merge request
marked this merge request as ready
enabled an automatic merge when the pipeline for 30e7229d succeeds
mentioned in commit b53bf6c3
merged