Change `GlobDirFilter` fallback to `true` #13882
Change fallback to `true`
3d6b1e33
MichaReiser
marked this pull request as ready for review 223 days ago
MichaReiser
changed the title Change fallback to `true` Change `GlobDirFilter` fallback to `true` 223 days ago
konstin
approved these changes
on 2025-06-06
konstin
merged
b865f76b
into main 223 days ago
konstin
deleted the micha/fix-no-dfa-fallback branch 223 days ago
Assignees
No one assigned
Labels
enhancement
preview
Login to write a write a comment.
Login via GitHub