diff repoint-lock.json @ 2308:cac1d32e69a1

Subrepo update
author Chris Cannam
date Fri, 19 Jul 2019 16:50:20 +0100
parents a8dbf75ddac7
children 50ff14c0b1e5
line wrap: on
line diff
--- a/repoint-lock.json	Thu Jul 18 18:54:04 2019 +0100
+++ b/repoint-lock.json	Fri Jul 19 16:50:20 2019 +0100
@@ -4,7 +4,7 @@
       "pin": "62987b6d6a3b"
     },
     "svcore": {
-      "pin": "9a8327e7b2dc"
+      "pin": "dffc70996f54"
     },
     "svgui": {
       "pin": "c3cc36c014b8"