diff --git a/auxil/spicy b/auxil/spicy index 2e40ecd0a1..140e88c9a8 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit 2e40ecd0a19733c3e8df72a075adfc0033f7fe0c +Subproject commit 140e88c9a8e04eca801bbd891e085cc180eee43f