diff --git a/lib/ve b/lib/ve index 0cc3ded3de..7b51cb6aba 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 0cc3ded3de806e9dbf744b6733d2f29aae916904 +Subproject commit 7b51cb6aba3cf7e46cb2dfe78ea0bc91e6145303