Bump deps/json from 35c0b3e to edffad0

Bumps [deps/json](https://github.com/nlohmann/json) from `35c0b3e` to `edffad0`.
- [Release notes](https://github.com/nlohmann/json/releases)
- [Commits](nlohmann/json@35c0b3e...edffad0)

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

Signed-off-by: dependabot[bot] <support@github.com>