diff repoint-lock.json @ 1983:b316a89ec6a6

Merge in subrepos from branch avoid-pointer-keys
author Chris Cannam
date Tue, 04 Sep 2018 11:33:36 +0100
parents a96a5d88a84b
children 015416e3a298
line wrap: on
line diff
--- a/repoint-lock.json	Mon Sep 03 16:15:44 2018 +0100
+++ b/repoint-lock.json	Tue Sep 04 11:33:36 2018 +0100
@@ -4,13 +4,13 @@
       "pin": "da86fb0bccb3"
     },
     "svcore": {
-      "pin": "d7fdc77252c6"
+      "pin": "a250a54c11cc"
     },
     "svgui": {
       "pin": "c0d8356e274f"
     },
     "svapp": {
-      "pin": "755fc02a1565"
+      "pin": "e98a42e94d90"
     },
     "checker": {
       "pin": "2e8a5f665a07"