Sync typeshed#21665
Open
github-actions[bot] wants to merge 11 commits into
Open
Commits
Commits on Jul 1, 2026
- committed
mypybot - authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted
