[issue39279] Don't allow non-Ascii digits in platform.py

[Ram Rachum]

Ram Rachum <ram at rachum.com> added the comment:

Hey Victor, adding you here. This ticket is a continuation of the thread on the Python security mailing list. I see that there isn't a consensus here for changing from \d to [0-9]. Can you make a decision on whether to go ahead with this issue or not? Otherwise we can close it, and the corresponding PR.

----------
nosy: +vstinner

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue39279>
_______________________________________