diff --git a/lib/ve b/lib/ve index 83ea15290f..0ef16f0a88 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 83ea15290fe8fda45b679c0896004cecb13dad3c +Subproject commit 0ef16f0a88e01aa6cab5d2953368cabf6fce383f