coscine/issues#1256
Checking pipeline status.
Pipeline #378389 passed
Pipeline passed for beddfa85 on master Dec 17, 2020
changed the description
mentioned in commit beddfa85
merged