diff --git a/lib/ve b/lib/ve index 0371bbea60..035c5534cd 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 0371bbea60d348f6da6bed5808c22985a66ee09a +Subproject commit 035c5534cd764b4409784026d2d3c93680cc4a5f