Skip to content

Fix case-insensitive matching for builtin extension names#6825

Merged
DOsinga merged 2 commits intomainfrom
fix/case-insensitive-builtin-extensions
Jan 30, 2026
Merged

Fix case-insensitive matching for builtin extension names#6825
DOsinga merged 2 commits intomainfrom
fix/case-insensitive-builtin-extensions

Commits

Commits on Jan 30, 2026