diff repoint-lock.json @ 2573:e55433e351cd

Merge from branch startup-timing
author Chris Cannam
date Mon, 22 Jun 2020 17:08:17 +0100
parents fa3218d9fe97 59aa2fb55523
children 0cbdd15a96f4
line wrap: on
line diff
--- a/repoint-lock.json	Thu Jun 18 15:42:46 2020 +0100
+++ b/repoint-lock.json	Mon Jun 22 17:08:17 2020 +0100
@@ -4,7 +4,7 @@
       "pin": "0e32c328b02a"
     },
     "svcore": {
-      "pin": "9a288b9b7a72"
+      "pin": "258e356b1a7b"
     },
     "svgui": {
       "pin": "fe9a643b83bf"