Skip to content

Match extensions case insensitively - #801

Merged
SimonCropp merged 1 commit into
mainfrom
fix-extension-case-sensitivity
Aug 22, 2026
Merged

Match extensions case insensitively#801
SimonCropp merged 1 commit into
mainfrom
fix-extension-case-sensitivity

Commits

Commits on Aug 22, 2026