coscine/issues#296
Checking pipeline status.
Merge details
Pipeline #187924 passed
Pipeline passed for 47a390c6 on master Sep 26, 2019
merged
mentioned in commit 47a390c6