diff repoint-lock.json @ 1968:6cfad463e18d checker_errorcode

Avoid reporting failure when everything in fact succeeded!
author Chris Cannam
date Thu, 30 Aug 2018 12:59:46 +0100
parents cbf8ea8e6571
children e1427ccfef6a
line wrap: on
line diff
--- 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"