Sync typeshed#18930
Merged
hauntsaninja merged 10 commits intopython:masterfrom May 27, 2025
Merged
Commits
Commits on May 19, 2025
- committed
- committed
- committed
- committed
- committed
- authored andcommitted
- committed
- authored andcommitted
- authored andcommitted
- committed