mirror of
https://github.com/nlohmann/json.git
synced 2026-07-05 18:15:10 +00:00
f0e73163f2
Forgotten in dcd3a6c6 (move the catch of std::invalid_argument into
array_index(), 2020-03-23).