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

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted
