8000 Make is_sub_path faster by hauntsaninja · Pull Request #17962 · python/mypy · GitHub
[go: up one dir, main page]
Skip to content

Make is_sub_path faster#17962

Merged
hauntsaninja merged 5 commits intopython:masterfrom
hauntsaninja:faster-subpath
Oct 17, 2024

Commits

Commits on Oct 15, 2024

Commits on Oct 16, 2024
0