diff --git a/lib/ve b/lib/ve index 248fc5da85..ce9bde489e 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 248fc5da8571a13c8a15fd00bc5c053be61fc0bd +Subproject commit ce9bde489e01f6b2c166a2fc0df616b0315dc8c3