diff repoint-lock.json @ 1967:cbf8ea8e6571 checker_errorcode

Further error handling in checker
author Chris Cannam
date Thu, 30 Aug 2018 12:33:25 +0100
parents 71334f290bfe
children 6cfad463e18d
line wrap: on
line diff
--- a/repoint-lock.json	Wed Aug 29 17:45:33 2018 +0100
+++ b/repoint-lock.json	Thu Aug 30 12:33:25 2018 +0100
@@ -13,7 +13,7 @@
       "pin": "755fc02a1565"
     },
     "checker": {
-      "pin": "7f5cf0fed473"
+      "pin": "49946b02414e"
     },
     "piper": {
       "pin": "f5a04ffe4d5a0ae01e77018a86a59b48a425e674"