summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--extra.old.json6
1 files changed, 3 insertions, 3 deletions
diff --git a/extra.old.json b/extra.old.json
index f5f0704..6dc8b7f 100644
--- a/extra.old.json
+++ b/extra.old.json
@@ -2369,9 +2369,9 @@
"version": "v0.4.17"
},
"synthv1": {
- "version": "v1.0.0",
- "gitref": "refs/tags/v1.0.0",
- "revision": "cf674c587aa472fbd8a21dd279dcc030de6c8504"
+ "version": "v1.1.0",
+ "gitref": "refs/tags/v1.1.0",
+ "revision": "093612e67c1fef1ef369c6508ebc111bf29246af"
},
"t1utils": {
"version": "v1.42"