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

[Ram Rachum]

Change by Ram Rachum <ram at rachum.com>:


----------
keywords: +patch
pull_requests: +17335
stage:  -> patch review
pull_request: https://github.com/python/cpython/pull/17928

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