diff --git a/lib/ve b/lib/ve index 1f7e944331..b83717e8d3 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit 1f7e944331fe394e58f0cde99af4a4b61e756fc8 +Subproject commit b83717e8d35acb41e70489015f301448854665a3