mirror of
https://github.com/nlohmann/json.git
synced 2026-04-30 03:39:25 +00:00
name can be None, and `re.search` fails on `None`; replaced `re` by `str.startswith` and `str.endswith`
name can be None, and `re.search` fails on `None`; replaced `re` by `str.startswith` and `str.endswith`