diff repoint-lock.json @ 1979:7b4e4d245524

Merge from branch checker_errorcode
author Chris Cannam
date Fri, 31 Aug 2018 15:24:10 +0100
parents e1427ccfef6a
children a96a5d88a84b
line wrap: on
line diff
--- a/repoint-lock.json	Fri Aug 31 15:14:27 2018 +0100
+++ b/repoint-lock.json	Fri Aug 31 15:24:10 2018 +0100
@@ -4,7 +4,7 @@
       "pin": "da86fb0bccb3"
     },
     "svcore": {
-      "pin": "68a0abfe7263"
+      "pin": "2057423c88fe"
     },
     "svgui": {
       "pin": "c0d8356e274f"
@@ -13,7 +13,7 @@
       "pin": "755fc02a1565"
     },
     "checker": {
-      "pin": "3ccc384c0161"
+      "pin": "ad02dff8ebfb"
     },
     "piper": {
       "pin": "f5a04ffe4d5a0ae01e77018a86a59b48a425e674"