diff repoint-lock.json @ 2280:e05f876eba3d

Oops
author Chris Cannam
date Thu, 16 May 2019 12:55:29 +0100
parents 00da08869139
children 920f09115ca8 3193a0ab2200
line wrap: on
line diff
--- a/repoint-lock.json	Thu May 16 12:49:12 2019 +0100
+++ b/repoint-lock.json	Thu May 16 12:55:29 2019 +0100
@@ -4,7 +4,7 @@
       "pin": "b650289c47b4"
     },
     "svcore": {
-      "pin": "8ce940f9e32b"
+      "pin": "ab4fd193262b"
     },
     "svgui": {
       "pin": "8d5bf4ab98ef"