Update extern/json subproject to latest commit

riccardodebenedictis · riccardodebenedictis · commit dff949321833 · 2025-07-10T12:03:37.000+02:00
diff --git a/extern/json b/extern/json
@@ -1 +1 @@
-Subproject commit 12a0ff8431b0c66cb2285e1b65a28d4390d4e93d
+Subproject commit 20c43198d84d23d79ed47b2d9a12dd92393d72b0
