changeset 2070:1a2fd9d59227

Update for checker handling for security errors, etc
author Chris Cannam
date Fri, 02 Nov 2018 14:45:13 +0000
parents 513d77e93090
children be0fee83eecd
files repoint-lock.json
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/repoint-lock.json	Fri Nov 02 14:44:12 2018 +0000
+++ b/repoint-lock.json	Fri Nov 02 14:45:13 2018 +0000
@@ -4,16 +4,16 @@
       "pin": "da86fb0bccb3"
     },
     "svcore": {
-      "pin": "d3814e07b8aa"
+      "pin": "175ef02c7864"
     },
     "svgui": {
-      "pin": "47f35694d603"
+      "pin": "38f35c2e03c4"
     },
     "svapp": {
       "pin": "ca64cc9047d0"
     },
     "checker": {
-      "pin": "5f91094e5680"
+      "pin": "dd193244d97d"
     },
     "piper": {
       "pin": "f5a04ffe4d5a0ae01e77018a86a59b48a425e674"