# HG changeset patch
# User Chris Cannam
# Date 1558007729 -3600
# Node ID e05f876eba3d9c8a2372aa17256ee36fe98548fe
# Parent  00da08869139458978860b62a4fbca38b6f22b37
Oops

diff -r 00da08869139 -r e05f876eba3d repoint-lock.json
--- 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"