diff --git a/auxil/spicy b/auxil/spicy index 651c6b160a..8c7393744d 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit 651c6b160abaee58f3b379d4737431882af94fe0 +Subproject commit 8c7393744d2aa2e02f73f2b3dff4c2d5a46327d7