Message322045
> Perhaps this report should go on the mypy bug tracker rather than the Python language tracker.
Agreed. It's up to the OP to file an issue there though (hence adding @campkeith back to the nosy list). |
|
Date |
User |
Action |
Args |
2018-07-21 00:26:59 | gvanrossum | set | recipients:
+ gvanrossum, rhettinger, levkivskyi, campkeith |
2018-07-21 00:26:59 | gvanrossum | set | messageid: <1532132819.24.0.56676864532.issue34175@psf.upfronthosting.co.za> |
2018-07-21 00:26:59 | gvanrossum | link | issue34175 messages |
2018-07-21 00:26:58 | gvanrossum | create | |
|