Reject non-ASCII digits in JSON numbers#7982

teddygood wants to merge 1 commit into

RustPython:mainRustPython/RustPython:mainfrom

teddygood:fix-json-nonascii-digitsteddygood/RustPython:fix-json-nonascii-digitsCopy head branch name to clipboard