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

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

willingc merged 2 commits into

python:mainpython/peps:mainfrom

gvanrossum:pep718-mypy-updategvanrossum/peps:pep718-mypy-updateCopy head branch name to clipboard