diff --git a/auxil/spicy b/auxil/spicy index 140e88c9a8..cef9b56b5a 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit 140e88c9a8e04eca801bbd891e085cc180eee43f +Subproject commit cef9b56b5a77a3727036ecfe5f806f513bb1359e