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