changeset 1806:34ed1626910b

Update subrepo for 32-bit fix
author Chris Cannam
date Fri, 04 May 2018 14:08:34 +0100
parents cdba78a6f51a
children dc4e6eb475ed
files vext-lock.json
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/vext-lock.json	Thu May 03 15:25:14 2018 +0100
+++ b/vext-lock.json	Fri May 04 14:08:34 2018 +0100
@@ -4,7 +4,7 @@
       "pin": "8742125177ae"
     },
     "svcore": {
-      "pin": "45519a9836e6"
+      "pin": "aab2d7177d3d"
     },
     "svgui": {
       "pin": "f90a3c2f2930"