mypy

gh-134817: Restore accidentally deleted line in documentation. (GH-14… #17687

Job	Run time
Run mypy on Tools/clinic	19s
Run mypy on Tools/cases_generator	17s
Run mypy on Tools/peg_generator	19s
Run mypy on Tools/jit	21s
Run mypy on Lib/test/libregrtest	21s
Run mypy on Lib/_pyrepl	19s
Run mypy on Tools/build	21s
Run mypy on Lib/tomllib	16s
	2m 33s

Provide feedback