Skip to content

Remove unused typing_extensions dependency#10

Merged
jwodder merged 1 commit intomasterfrom
rm-dep
Oct 22, 2025
Merged

Remove unused typing_extensions dependency#10
jwodder merged 1 commit intomasterfrom
rm-dep

Commits

Commits on Oct 22, 2025