diff vext-lock.json @ 1789:9db7ad441ea6

Minor build tweak
author Chris Cannam
date Tue, 24 Apr 2018 14:14:58 +0100
parents 630cb7120480
children 82c8cc2e14e7
line wrap: on
line diff
--- a/vext-lock.json	Tue Apr 24 10:16:16 2018 +0100
+++ b/vext-lock.json	Tue Apr 24 14:14:58 2018 +0100
@@ -4,7 +4,7 @@
       "pin": "8742125177ae"
     },
     "svcore": {
-      "pin": "904e031c9c76"
+      "pin": "0925b37a3ed1"
     },
     "svgui": {
       "pin": "61418c112281"