Update extern/json subproject to latest commit

riccardodebenedictis · riccardodebenedictis · commit 59c8ba5d4760 · 2025-12-04T11:26:56.000+01:00
diff --git a/extern/json b/extern/json
@@ -1 +1 @@
-Subproject commit e9255932b995e8a6396f9fcfbcef33675b2b44ae
+Subproject commit 9db31972221e13ee08af1101cc86eb36d5a6be4d
