diff --git a/lib/ve b/lib/ve index 33012affe0..721f591e71 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 33012affe066d019fed1ce56cb9812de8997c542 +Subproject commit 721f591e7164dddb2a28f6500e777871f8b02c6f