diff --git a/auxil/spicy b/auxil/spicy index abd484926d..4fe22b915e 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit abd484926df173d8351bc1269a5ac0ad848b3d6e +Subproject commit 4fe22b915e5f1ac26c08412fed2bfc2dbc36bfb3