diff --git a/lib/ve b/lib/ve index ef0a3a720b..831a75cdb2 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit ef0a3a720bc47e8b188cc798d10b02bdb22802e2 +Subproject commit 831a75cdb280a0c327e1a91fddf4d906a9639641