diff repoint-lock.json @ 2434:43ac4c02efe9

Merge
author Chris Cannam
date Thu, 12 Dec 2019 17:25:51 +0000
parents 83f0f01eab1b 0e2eb850bbe8
children f40cd7a512d4
line wrap: on
line diff
--- a/repoint-lock.json	Thu Dec 12 17:25:37 2019 +0000
+++ b/repoint-lock.json	Thu Dec 12 17:25:51 2019 +0000
@@ -4,13 +4,13 @@
       "pin": "c42e50a5c297"
     },
     "svcore": {
-      "pin": "73447d746db3"
+      "pin": "ee3b248bda25"
     },
     "svgui": {
-      "pin": "045063dcd2bc"
+      "pin": "76e4302a3fc2"
     },
     "svapp": {
-      "pin": "464fed3096f5"
+      "pin": "55f317633b93"
     },
     "checker": {
       "pin": "87908a5d6c88"