diff options
Diffstat (limited to 'extra.old.json')
-rw-r--r-- | extra.old.json | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/extra.old.json b/extra.old.json index 74f7658..cdec464 100644 --- a/extra.old.json +++ b/extra.old.json @@ -2383,9 +2383,9 @@ "version": "v0.4.17" }, "synthv1": { - "version": "v1.1.0", - "gitref": "refs/tags/v1.1.0", - "revision": "093612e67c1fef1ef369c6508ebc111bf29246af" + "version": "v1.1.1", + "gitref": "refs/tags/v1.1.1", + "revision": "7c6a3322bd70d48562b31efcf715b7cc10f6537e" }, "t1utils": { "version": "v1.42" |