From 16ff7f69c2d9f9aca435f25e80ae92e089a6f16a Mon Sep 17 00:00:00 2001 From: Robin Sommer Date: Tue, 11 Mar 2025 10:18:54 +0100 Subject: [PATCH] Bump Spicy. This includes a fix to adapt to Spicy-side changes. --- auxil/spicy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/auxil/spicy b/auxil/spicy index 8c7393744d..479b2d4bfb 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit 8c7393744d2aa2e02f73f2b3dff4c2d5a46327d7 +Subproject commit 479b2d4bfb88c3010aba21f63db4c2c04a65216a