Skip to content

Make globs case-insensitive like the search to close #716 - #773

Merged
mathiasrw merged 1 commit into
mainfrom
fix/716
Oct 23, 2026
Merged

Make globs case-insensitive like the search to close #716#773
mathiasrw merged 1 commit into
mainfrom
fix/716

Commits

  1. Commits on Oct 23, 2026