diff repoint-lock.json @ 2337:9caf5ca5e6cf

Subrepo update
author Chris Cannam
date Wed, 25 Sep 2019 15:19:57 +0100
parents 2721030c939f
children 175ece418988
line wrap: on
line diff
--- a/repoint-lock.json	Wed Sep 25 14:08:53 2019 +0100
+++ b/repoint-lock.json	Wed Sep 25 15:19:57 2019 +0100
@@ -4,10 +4,10 @@
       "pin": "0b6802e3b755"
     },
     "svcore": {
-      "pin": "f0ffc88a36b3"
+      "pin": "71e97de5053f"
     },
     "svgui": {
-      "pin": "d3ef60b6ae93"
+      "pin": "d5ef91dc2ea7"
     },
     "svapp": {
       "pin": "3e930ea94db6"