changeset 2358:840de2c9972d

One more attempt at this compatibility workaround
author Chris Cannam
date Thu, 10 Oct 2019 09:51:04 +0100
parents 63ff2c3ed374
children f195f037e440
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:34:43 2019 +0100
+++ b/repoint-lock.json	Thu Oct 10 09:51:04 2019 +0100
@@ -4,7 +4,7 @@
       "pin": "0b6802e3b755"
     },
     "svcore": {
-      "pin": "af3f6c411a8e"
+      "pin": "c48548a85622"
     },
     "svgui": {
       "pin": "bfd8b22fd67c"