1 files changed, 3 insertions, 3 deletions
diff --git a/extra.old.json~ b/extra.old.json~
index b918b75..8cd8c5e 100644
--- a/extra.old.json~
+++ b/extra.old.json~
@@ -2398,9 +2398,9 @@
       "version": "v0.4.17"
     },
     "synthv1": {
-      "version": "v1.1.1",
-      "gitref": "refs/tags/v1.1.1",
-      "revision": "7c6a3322bd70d48562b31efcf715b7cc10f6537e"
+      "version": "v1.1.2",
+      "gitref": "refs/tags/v1.1.2",
+      "revision": "a15062b9d45547dee63cb408fc31f9542456c5c3"
     },
     "t1utils": {
       "version": "v1.42"