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