diff repoint-lock.json @ 2562:59aa2fb55523 startup-timing

Merge from default branch
author Chris Cannam
date Tue, 16 Jun 2020 17:49:40 +0100
parents a004f981f6f5 ebb78549fe02
children e55433e351cd
line wrap: on
line diff
--- a/repoint-lock.json	Wed Jun 03 14:12:14 2020 +0100
+++ b/repoint-lock.json	Tue Jun 16 17:49:40 2020 +0100
@@ -4,10 +4,10 @@
       "pin": "0e32c328b02a"
     },
     "svcore": {
-      "pin": "7b6e18380e8f"
+      "pin": "cb9209ef373a"
     },
     "svgui": {
-      "pin": "bd1a7c84da8c"
+      "pin": "a6e37c28d762"
     },
     "svapp": {
       "pin": "7bded7599874"