Update extern/json subproject to latest commit

riccardodebenedictis · riccardodebenedictis · commit 15fc0e53ebb4 · 2025-12-01T16:27:35.000+01:00
diff --git a/extern/json b/extern/json
@@ -1 +1 @@
-Subproject commit 4662623acf63b16c6a55b7ea15eec4138659ab7c
+Subproject commit e9255932b995e8a6396f9fcfbcef33675b2b44ae
