Skip to content
Snippets Groups Projects

Replace usage of (deprecated) dir_filter by path_filter in Directory.from_disk()

Failed
Jenkins Bot created pipeline for commit 495e2cb4
, finished
For v2.12.0
latest branch
19 jobs