Merge pull request #1622 from GaloisInc/mir-json-rollback

aschwerdfeger-galois · web-flow · commit 48d925152cdc · 2025-11-10T12:29:16.000-08:00
Roll back the 'mir-json' submodule on release 0.11 to a compatible version.
diff --git a/dependencies/mir-json b/dependencies/mir-json
@@ -1 +1 @@
-Subproject commit 89a43f66293f9503315edb559ce7f14eab53ca25
+Subproject commit 666f9f6797107238f206df5ca2233cbb0c756ced
