Update extern/json subproject to latest commit

riccardodebenedictis · riccardodebenedictis · commit d1a3fed27f45 · 2025-12-09T16:55:59.000+01:00
diff --git a/extern/json b/extern/json
@@ -1 +1 @@
-Subproject commit a32fe8842b99a448611000e8112dd6ae795cd436
+Subproject commit fd715f2bdf7a4c0055bb15b3729412f52976701f
