diff --git a/auxil/spicy b/auxil/spicy index 7347a2be41..135c1c9822 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit 7347a2be4188a7ec2b3b71cf620fd3e3267c78af +Subproject commit 135c1c98220b514dd3684ec940b8734f78a2fd2e