Sync typeshed#13252
Merged
hauntsaninja merged 5 commits intopython:masterfrom Jul 28, 2022
Merged
Commits
Commits on Jul 27, 2022
- committed
Ivan Levkivskyi - committed
Ivan Levkivskyi - andcommitted

- committed
Ivan Levkivskyi
Commits on Jul 28, 2022
- committed
Ivan Levkivskyi