Message283639
I think non-ASCII whitespace and digits are YAGNI until we are convinced otherwise by evidence from the field that people are routinely mixing other decimal digits with 'abcdef' as hex numerals. Anyone who does try such a thing can write a wrapper that first translates to ascii digits. |
|
Date |
User |
Action |
Args |
2016-12-19 18:13:34 | terry.reedy | set | recipients:
+ terry.reedy, ncoghlan, nneonneo, python-dev, martin.panter, serhiy.storchaka |
2016-12-19 18:13:34 | terry.reedy | set | messageid: <1482171214.01.0.565493463965.issue28927@psf.upfronthosting.co.za> |
2016-12-19 18:13:33 | terry.reedy | link | issue28927 messages |
2016-12-19 18:13:33 | terry.reedy | create | |
|