Repository navigation
PEP-718: Indicate that the (lenient) mypy patch is up-to-date - #5195
Open
gvanrossum wants to merge 2 commits into
Open
gvanrossum wants to merge 2 commits into
gvanrossum wants to merge 2 commits into
Commits
Commits on Oct 24, 2026