Some small fixes for bob.bio.base integration bob.bio.base!182 (merged)
merged
mentioned in commit 3d6281d6