Update to v2.1.1 of https://github.com/nlohmann/json. (#1493)
The old version we were using has pathalogical performance issues when parsing numbers in large inputs.
This commit is contained in:
parent
92273843e5
commit
fa57ae282f