diff --git a/auxil/spicy b/auxil/spicy index a1b7c78287..d923cc0bb5 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit a1b7c78287ecb29cf17a3ef8a94125d87eadb152 +Subproject commit d923cc0bb5da8481a13fa6741c007f43c8fd08d5