initial fixes for bob.ip.binseg
Passed
created pipeline for commit
14958903
, finished
1 related merge request: !18 Fixes for bob.ip.binseg
22 minutes 48 seconds, queued for 0 seconds