From 4de491a75204d6101ec3e51790a225d9c751232a Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Thu, 14 May 2026 20:56:16 +0000
Subject: [PATCH] build(deps): bump external/json from `55f9368` to `9cca280`

Bumps [external/json](https://github.com/nlohmann/json) from `55f9368` to `9cca280`.
- [Release notes](https://github.com/nlohmann/json/releases)
- [Commits](https://github.com/nlohmann/json/compare/55f93686c01528224f448c19128836e7df245f72...9cca280a4d0ccf0c08f47a99aa71d1b0e52f8d03)

---
updated-dependencies:
- dependency-name: external/json
  dependency-version: 9cca280a4d0ccf0c08f47a99aa71d1b0e52f8d03
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 external/json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/external/json b/external/json
index 55f9368..9cca280 160000
--- a/external/json
+++ b/external/json
@@ -1 +1 @@
-Subproject commit 55f93686c01528224f448c19128836e7df245f72
+Subproject commit 9cca280a4d0ccf0c08f47a99aa71d1b0e52f8d03