Merge branch 'improvements' of gitlab.idiap.ch:bob/bob.io.stream into improvements
Passed
created pipeline for commit
6f280047
, finished
1 related merge request: !4 Improvements
15 minutes 15 seconds, queued for 3 seconds