diff repoint-lock.json @ 2537:11a552b3ad88

Fix following prior merge
author Chris Cannam
date Wed, 13 May 2020 14:27:26 +0100
parents 0dec5e47dd8f
children 9910ba30a572
line wrap: on
line diff
--- a/repoint-lock.json	Wed May 13 14:08:38 2020 +0100
+++ b/repoint-lock.json	Wed May 13 14:27:26 2020 +0100
@@ -10,7 +10,7 @@
       "pin": "6616e1899daa"
     },
     "svapp": {
-      "pin": "83ae68de4401"
+      "pin": "4c91c95e146a"
     },
     "checker": {
       "pin": "e839338d3869"