Ignoring the rest of a file with a single # type: ignore comment on Python 3.8+. #6841
Closed
brandtbucher wants to merge 7 commits into
Closed
Ignoring the rest of a file with a single # type: ignore comment on Python 3.8+. #6841brandtbucher wants to merge 7 commits into
brandtbucher wants to merge 7 commits into