# HG changeset patch
# User Chris Cannam
# Date 1525357483 -3600
# Node ID 75be1cb2f3c18bc7ed08efcbf9c7d240cb7d66e5
# Parent  bea6e7bced2538bb1660e4700260e7c92c1b0eb7# Parent  2613d459f90ba55154502b54077ae8cd81ef0447
Merge from branch horizontal-scale

diff -r 2613d459f90b -r 75be1cb2f3c1 vext-lock.json
--- a/vext-lock.json	Thu May 03 15:15:53 2018 +0100
+++ b/vext-lock.json	Thu May 03 15:24:43 2018 +0100
@@ -4,10 +4,10 @@
       "pin": "8742125177ae"
     },
     "svcore": {
-      "pin": "9528c73aa98c"
+      "pin": "45519a9836e6"
     },
     "svgui": {
-      "pin": "fc9d9f1103fa"
+      "pin": "f90a3c2f2930"
     },
     "svapp": {
       "pin": "f03bc1d38cac"