diff --git a/auxil/spicy b/auxil/spicy index 18836f5689..ac3f237174 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit 18836f568959e9c9d94c13c7f0820edeb2cedd0b +Subproject commit ac3f237174b84fe1ad22ba45ae1f1822ca811889