diff --git a/auxil/spicy b/auxil/spicy index 6f43758670..8727fa050a 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit 6f4375867083805513a70feb32a626df40039256 +Subproject commit 8727fa050a575387986a057c91f806a9a74786f6