Sync typeshed#18747
Merged
hauntsaninja merged 6 commits intomasterfrom Mar 2, 2025
Merged
Commits
Commits on Mar 1, 2025
- committed
mypybot - authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted
