Skip to content

Don't throw for unknown extensions; other API changes#1755

Merged
CharliePoole merged 1 commit intomainfrom
issue-1754
Oct 6, 2025
Merged

Don't throw for unknown extensions; other API changes#1755
CharliePoole merged 1 commit intomainfrom
issue-1754

Commits

Commits on Oct 6, 2025