diff repoint-lock.json @ 2579:d9d83c0e8480

Merge
author Chris Cannam
date Tue, 21 Jul 2020 16:22:10 +0100
parents 0d35663085d0
children b1c821c53caf
line wrap: on
line diff
--- a/repoint-lock.json	Tue Jul 21 16:21:58 2020 +0100
+++ b/repoint-lock.json	Tue Jul 21 16:22:10 2020 +0100
@@ -10,7 +10,7 @@
       "pin": "cbbb411da977"
     },
     "svapp": {
-      "pin": "7bded7599874"
+      "pin": "4d10365aa6a9"
     },
     "checker": {
       "pin": "e839338d3869"