Sync typeshed#19301
Merged
hauntsaninja merged 6 commits intomasterfrom Jun 18, 2025
Merged
Commits
Commits on Jun 15, 2025
- committed
mypybot - authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted
