Switched to new API of FilenameConverter
This PR applies changed required for bob.io.base!21 (merged)
Please merge bob.io.base!21 (merged) first and make sure that the pipeline of this PR works.
This PR applies changed required for bob.io.base!21 (merged)
Please merge bob.io.base!21 (merged) first and make sure that the pipeline of this PR works.
enabled an automatic merge when the pipeline for f28817da succeeds
merged
mentioned in commit 6062ded3