Update extern/json subproject to latest commit

riccardodebenedictis · riccardodebenedictis · commit 5e8065c0d0a4 · 2025-12-10T11:57:26.000+01:00
diff --git a/extern/json b/extern/json
@@ -1 +1 @@
-Subproject commit a32fe8842b99a448611000e8112dd6ae795cd436
+Subproject commit fd715f2bdf7a4c0055bb15b3729412f52976701f
