Bump thirdparty/json from 7efe875 to 0457de2

Bumps [thirdparty/json](https://github.com/nlohmann/json) from `7efe875` to `0457de2`.
- [Release notes](https://github.com/nlohmann/json/releases)
- [Commits](7efe875495...0457de21cf)

---
updated-dependencies:
- dependency-name: thirdparty/json
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
This commit is contained in:
dependabot[bot]
2024-02-02 22:42:46 +00:00
committed by GitHub
parent 2067afafed
commit 957c66ee56