Message343205
| Author | msullivan |
|---|---|
| Recipients | gvanrossum, levkivskyi, msullivan |
| Date | 2019-05-22.15:50:14 |
| SpamBayes Score | -1.0 |
| Marked as misclassified | Yes |
| Message-id | <1558540214.37.0.148091814859.issue36878@roundup.psfhosted.org> |
| In-reply-to |
| Content | |
|---|---|
I think there will be one more PR to disallow non-ASCII characters immediately after a `# type: ignore`, but otherwise I think this is done |
|
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2019-05-22 15:50:14 | msullivan | set | recipients: + msullivan, gvanrossum, levkivskyi |
| 2019-05-22 15:50:14 | msullivan | set | messageid: <1558540214.37.0.148091814859.issue36878@roundup.psfhosted.org> |
| 2019-05-22 15:50:14 | msullivan | link | issue36878 messages |
| 2019-05-22 15:50:14 | msullivan | create | |