Message316997
Thanks Thomas. I've been a long term user of tokenize.generate_tokens() and would be sad to see it go.
The underlying _tokenize() functionality is used else within the module, so there the no benefit to removing the API. |
|
Date |
User |
Action |
Args |
2018-05-18 01:23:00 | rhettinger | set | recipients:
+ rhettinger, docs@python, takluyver, martin.panter, mbussonn |
2018-05-18 01:23:00 | rhettinger | set | messageid: <1526606580.63.0.682650639539.issue28418@psf.upfronthosting.co.za> |
2018-05-18 01:23:00 | rhettinger | link | issue28418 messages |
2018-05-18 01:23:00 | rhettinger | create | |
|