Fixes bob.bio.base#117 (closed)
Pipeline #20266 passed
Pipeline passed for 39cb472c on roc May 17, 2018
Merge details
Closed bob.bio.base#117 (closed)
Pipeline #20399 failed
Pipeline failed for 18c8385d on master May 23, 2018
enabled an automatic merge when the pipeline for 39cb472c succeeds
mentioned in commit 18c8385d
merged