diff --git a/auxil/spicy b/auxil/spicy index d5e58fe394..2e40ecd0a1 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit d5e58fe394d47394b2b282311d10fc62e5d25a23 +Subproject commit 2e40ecd0a19733c3e8df72a075adfc0033f7fe0c