diff --git a/lib/ve b/lib/ve index 4b58bf52ea..25be8d5cf8 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 4b58bf52ea666dab54bcb8b7286c0acb520297be +Subproject commit 25be8d5cf812f293af8c7180ca1ca18d1b8da181