diff --git a/lib/ve b/lib/ve index d2a120e66b..740285b11a 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit d2a120e66b8c46b38349818e5a4530fcfa6a9daa +Subproject commit 740285b11a718bfd765ebec5dcf2e23bfcbbf025