mirror of
https://github.com/gristlabs/grist-core.git
synced 2024-10-27 20:44:07 +00:00
64d9faed5a
Summary: Python isdigit() returns true for unicode characters such as "²", which fail when used as an argument to int(). Instead, be explicit about only considering characters 0-9 to be digits. Test Plan: Added a test case which produces an error without this change. Reviewers: alexmojaki Reviewed By: alexmojaki Differential Revision: https://phab.getgrist.com/D3027 |
||
---|---|---|
.. | ||
docker | ||
grist | ||
gen_js_schema.py | ||
install_tz.js | ||
requirements3.txt | ||
requirements.txt |