diff --git a/lib/ve b/lib/ve index 598aa93a6d..12ad256600 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 598aa93a6db37b1f70bd2595cb4893392c43add0 +Subproject commit 12ad256600d8d91ff2df7a082d3d0df231f5411a