Message317004
The old generate_tokens() was renamed to tokenize() in issue719888 because the latter is a better name. Is "generate_tokens" considered a good name now? |
|
| Date |
User |
Action |
Args |
| 2018-05-18 07:01:30 | serhiy.storchaka | set | recipients:
+ serhiy.storchaka, terry.reedy, vstinner, Devin Jeanpierre, eric.araujo, meador.inge, eric.snow, takluyver, petri.lehtinen, martin.panter, mbussonn |
| 2018-05-18 07:01:30 | serhiy.storchaka | set | messageid: <[email protected]> |
| 2018-05-18 07:01:30 | serhiy.storchaka | link | issue12486 messages |
| 2018-05-18 07:01:30 | serhiy.storchaka | create | |
|