# HG changeset patch
# User Chris Cannam
# Date 1526649325 -3600
# Node ID 87d0cd033da7118a183bf9670dfbdd79ddaaf36c
# Parent  a3717147cc2ab70219e7d0c9e560ce941ad3aab0# Parent  ceb81558be780e018e355ca9f2fc2ff8db134810
Merge

diff -r a3717147cc2a -r 87d0cd033da7 repoint-lock.json
--- a/repoint-lock.json	Fri May 18 14:15:07 2018 +0100
+++ b/repoint-lock.json	Fri May 18 14:15:25 2018 +0100
@@ -4,7 +4,7 @@
       "pin": "328cb056da44"
     },
     "svcore": {
-      "pin": "f68911282993"
+      "pin": "7d9b537b6a1e"
     },
     "svgui": {
       "pin": "51e6125627fa"