# HG changeset patch
# User Chris Cannam
# Date 1525268021 -3600
# Node ID ec77ade1ab505b37fd2edcf9afbf6150c4624466
# Parent  8d44bfd19f49e7cd0e6d258ccdc715f492943c86# Parent  bea6e7bced2538bb1660e4700260e7c92c1b0eb7
Merge from default branch

diff -r bea6e7bced25 -r ec77ade1ab50 vext-lock.json
--- a/vext-lock.json	Wed May 02 14:32:01 2018 +0100
+++ b/vext-lock.json	Wed May 02 14:33:41 2018 +0100
@@ -4,10 +4,10 @@
       "pin": "8742125177ae"
     },
     "svcore": {
-      "pin": "0fb5d4e6edeb"
+      "pin": "3a128665fa6f"
     },
     "svgui": {
-      "pin": "3ca1be2e2c91"
+      "pin": "34394e8c2942"
     },
     "svapp": {
       "pin": "f03bc1d38cac"