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 70712ff..608f073 100644 --- a/extra.old.json~ +++ b/extra.old.json~ @@ -2428,9 +2428,9 @@ "version": "v0.4.17" }, "synthv1": { - "version": "v1.1.2", - "gitref": "refs/tags/v1.1.2", - "revision": "a15062b9d45547dee63cb408fc31f9542456c5c3" + "version": "v1.1.3", + "gitref": "refs/tags/v1.1.3", + "revision": "0c39ab63930b61f9859213fccf3ee9e162b602e8" }, "t1utils": { "version": "v1.42" |