diff --git a/auxil/spicy b/auxil/spicy index d594c99e7e..a2880f8d28 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit d594c99e7efcf8d02d8f4f0336c3253585c9f609 +Subproject commit a2880f8d28d3c271d976c4ffacfa663f9b1cbb95