File

spec/json/fail13.json @ 13205:0ccd82b965d5

core.moduleapi: Improve handling of different types in :get_option_period Pass positive numbers trough unharmed, parse strings as periods, discard anything else.
author Kim Alvefur <zash@zash.se>
date Sun, 16 Jul 2023 20:59:27 +0200
parent 8236:4878e4159e12
line wrap: on
line source

{"Numbers cannot have leading zeroes": 013}