8000 Use the same language in the docs intro and README by hauntsaninja · Pull Request #13677 · python/mypy · GitHub
[go: up one dir, main page]
Skip to content

Use the same language in the docs intro and README#13677

Merged
hauntsaninja merged 2 commits intopython:masterfrom
hauntsaninja:docs-intro
Sep 21, 2022

Commits

Commits on Sep 18, 2022
0