Sync typeshed#20338
Merged
hauntsaninja merged 6 commits intomasterfrom Dec 1, 2025
Merged
Commits
Commits on Dec 1, 2025
- committed
mypybot - authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted
