# HG changeset patch
# User Chris Cannam
# Date 1558007820 -3600
# Node ID 152fafb094f97b5e12a5762a413885295ea97f4e
# Parent  793e0010c52e7ef0b45f9b94e727dbc695c97776
Oops

diff -r 793e0010c52e -r 152fafb094f9 repoint-lock.json
--- a/repoint-lock.json	Thu May 16 12:48:44 2019 +0100
+++ b/repoint-lock.json	Thu May 16 12:57:00 2019 +0100
@@ -4,7 +4,7 @@
       "pin": "b650289c47b4"
     },
     "svcore": {
-      "pin": "29c6b3caefa9"
+      "pin": "2848c1215bb5"
     },
     "svgui": {
       "pin": "98157ea8a3d2"