changeset 2357:63ff2c3ed374

And another!
author Chris Cannam
date Thu, 10 Oct 2019 09:34:43 +0100
parents bd6dc9570ac8
children 840de2c9972d
files repoint-lock.json
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/repoint-lock.json	Thu Oct 10 09:19:35 2019 +0100
+++ b/repoint-lock.json	Thu Oct 10 09:34:43 2019 +0100
@@ -4,7 +4,7 @@
       "pin": "0b6802e3b755"
     },
     "svcore": {
-      "pin": "705ea8699d49"
+      "pin": "af3f6c411a8e"
     },
     "svgui": {
       "pin": "bfd8b22fd67c"