diff repoint-lock.json @ 2181:b0e8217719ed

Merge from branch fix-static-analysis
author Chris Cannam
date Wed, 09 Jan 2019 15:27:32 +0000
parents 52eda31c7b33 b35c1f8b2ddd
children f5355a088ca2
line wrap: on
line diff
--- a/repoint-lock.json	Wed Jan 09 14:43:03 2019 +0000
+++ b/repoint-lock.json	Wed Jan 09 15:27:32 2019 +0000
@@ -4,13 +4,13 @@
       "pin": "da86fb0bccb3"
     },
     "svcore": {
-      "pin": "9570ef94eaa3"
+      "pin": "841b2a3e606d"
     },
     "svgui": {
-      "pin": "0930a27ebea2"
+      "pin": "fa986b91d77f"
     },
     "svapp": {
-      "pin": "713b9a6b284a"
+      "pin": "6fd0ebfd2bbe"
     },
     "checker": {
       "pin": "0d2d3c89fdf6"