diff vext-lock.json @ 1778:08eb2053ef37 streaming-csv-writer

Update subrepo
author Chris Cannam
date Fri, 13 Apr 2018 17:19:21 +0100
parents a6c11c2e19dd
children b660b2fa8411
line wrap: on
line diff
--- a/vext-lock.json	Fri Apr 13 15:44:13 2018 +0100
+++ b/vext-lock.json	Fri Apr 13 17:19:21 2018 +0100
@@ -4,7 +4,7 @@
       "pin": "8742125177ae"
     },
     "svcore": {
-      "pin": "7cd3e1266505b27ccf379321fc8e25bb97928524"
+      "pin": "ad6212d5941d6cac5169645cbf0ded94b5afdf37"
     },
     "svgui": {
       "pin": "2256d17de38f1937072d4afae7c0ff326b275a3a"