diff --git a/lib/ve b/lib/ve index 3c069c39fa..e3715c2574 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 3c069c39fa4558171ea11ac25ab9d16f5fe809b7 +Subproject commit e3715c2574a271d833e6ac870bf08fe5c78d0996