➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

URL PR 13238
Status merged
Title bpo-36878: Allow extra text after `# type: ignore` comments
History
Date User Action Args
2019-05-11 18:17:26msullivansetstatus: open -> merged
2019-05-10 20:50:39msullivanlinkissue36878 pull_requests
2019-05-10 20:50:39msullivancreate