Message359730
> If all we're going to do is
> switch [0-9] to \d (which won't work for the places where it's
> actually [1-9], mind you)
Ah, that's a good point.
[...]
> we're better off resolving the
> inconsistency by requiring ASCII digits and considering non-ASCII
> support to be a separate feature request.
This seems reasonable. |
|
Date |
User |
Action |
Args |
2020-01-10 15:40:49 | steven.daprano | set | recipients:
+ steven.daprano, vstinner, methane, cool-RR, p-ganssle |
2020-01-10 15:40:49 | steven.daprano | link | issue39280 messages |
2020-01-10 15:40:49 | steven.daprano | create | |
|