coscine/issues#280
Checking pipeline status.
Pipeline #183805 passed
Pipeline passed for e41ada93 on master Sep 16, 2019
merged
mentioned in commit e41ada93