Skip to content

PEP-718: Indicate that the (lenient) mypy patch is up-to-date - #5195

Open
gvanrossum wants to merge 2 commits into
python:mainfrom
gvanrossum:pep718-mypy-update
Open

gvanrossum wants to merge 2 commits into
python:mainfrom
gvanrossum:pep718-mypy-update

Commits

  1. Commits on Oct 24, 2026