diff --git a/lib/ve b/lib/ve index 5b5119dd81..1947f053c7 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 5b5119dd81b6e4ccd51b5269dba052a7f899e8f4 +Subproject commit 1947f053c71a4e7cbe12c729142327d11d4bee15