# HG changeset patch
# User Chris Cannam
# Date 1535630386 -3600
# Node ID 6cfad463e18d4c7e66acee41bce3ef48e66def0c
# Parent  cbf8ea8e65712885eeac430feeff6f6c2ef9740d
Avoid reporting failure when everything in fact succeeded!

diff -r cbf8ea8e6571 -r 6cfad463e18d repoint-lock.json
--- a/repoint-lock.json	Thu Aug 30 12:33:25 2018 +0100
+++ b/repoint-lock.json	Thu Aug 30 12:59:46 2018 +0100
@@ -4,7 +4,7 @@
       "pin": "da86fb0bccb3"
     },
     "svcore": {
-      "pin": "0ee87bc10cdc"
+      "pin": "2765b9db402b"
     },
     "svgui": {
       "pin": "c0d8356e274f"