mirror of
https://github.com/MariaDB/server.git
synced 2025-11-12 10:22:39 +03:00
json_normalize_number(): Avoid accessing str past str_len. The function would seem to work incorrectly when some digits are not followed by a decimal point (.) or an exponent (E or e).
19 KiB
19 KiB