diff --git a/lib/ve b/lib/ve index 5b9ab1cfa8..12422dc274 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 5b9ab1cfa8b3856dc4c22d733b94b72249a378e6 +Subproject commit 12422dc274b9bb067e67752fe304d6a401a02ed0