diff vext-lock.json @ 1754:076aca59192f

Use undefined behaviour sanitiser in debug mode
author Chris Cannam
date Thu, 07 Dec 2017 13:34:23 +0000
parents 716e13004b19
children d634e253071a ab5912ee87d8
line wrap: on
line diff
--- a/vext-lock.json	Tue Dec 05 14:29:23 2017 +0000
+++ b/vext-lock.json	Thu Dec 07 13:34:23 2017 +0000
@@ -4,10 +4,10 @@
       "pin": "a87e1bcce7b0"
     },
     "svcore": {
-      "pin": "bd73a689c8af"
+      "pin": "9ae40c7aecdf"
     },
     "svgui": {
-      "pin": "a9c2e791ab8d"
+      "pin": "5bab9562eaa3"
     },
     "svapp": {
       "pin": "72b4870f0e6b"