diff --git a/auxil/spicy b/auxil/spicy index ec87b43037..6f43758670 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit ec87b43037dba50648cb93be8940a4db23658905 +Subproject commit 6f4375867083805513a70feb32a626df40039256