diff --git a/lib/ve b/lib/ve index f5c88eb300..17721d5f54 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit f5c88eb300f6a2dc571246067b0ad139896ba122 +Subproject commit 17721d5f54adb7127019673be8979d5d1b75c39a