diff vext-lock.json @ 1781:89cf48de5969

Merge from branch streaming-csv-writer
author Chris Cannam
date Tue, 17 Apr 2018 11:27:31 +0100
parents dc5923962505
children 463e129a2bac
line wrap: on
line diff
--- a/vext-lock.json	Wed Mar 21 11:18:32 2018 +0000
+++ b/vext-lock.json	Tue Apr 17 11:27:31 2018 +0100
@@ -4,10 +4,10 @@
       "pin": "8742125177ae"
     },
     "svcore": {
-      "pin": "48e9f538e6e9"
+      "pin": "743c38b209d0"
     },
     "svgui": {
-      "pin": "a34a2a25907c"
+      "pin": "05d12869043e"
     },
     "svapp": {
       "pin": "b23bebfdfaba"