changeset 2496:0f6cd15d4ca7

Add signal handler to checker
author Chris Cannam
date Thu, 09 Apr 2020 13:49:28 +0100
parents a9cf7e9c5377
children bba9036240bf
files repoint-lock.json
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/repoint-lock.json	Thu Apr 09 11:25:50 2020 +0100
+++ b/repoint-lock.json	Thu Apr 09 13:49:28 2020 +0100
@@ -13,7 +13,7 @@
       "pin": "771ec060c1d2"
     },
     "checker": {
-      "pin": "ef64b3f171d9"
+      "pin": "e027aa280789"
     },
     "piper": {
       "pin": "3a742c556ac1f2bf9823f30b937c71c690e1f6ae"