Skip to content

[ty] Sync vendored typeshed stubs#20876

Merged
sharkdp merged 8 commits intomainfrom
typeshedbot/sync-typeshed
Oct 15, 2025
Merged

[ty] Sync vendored typeshed stubs#20876
sharkdp merged 8 commits intomainfrom
typeshedbot/sync-typeshed

Commits

Commits on Oct 15, 2025