diff --git a/auxil/spicy b/auxil/spicy index 8e768adeff..83db354408 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit 8e768adeffba2a658cf32a2044ca7868066338c1 +Subproject commit 83db3544089d62d90d81a7e4c58ae74814366db3