From 7233498cdb7f4fac9f063318f6fbfdc9da1adc61 Mon Sep 17 00:00:00 2001 From: Robin Sommer Date: Tue, 19 Sep 2023 09:36:05 +0200 Subject: [PATCH] Bump Spicy. --- auxil/spicy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/auxil/spicy b/auxil/spicy index 7e074675b9..56f84b8f32 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit 7e074675b994d59050b4468dec145526daa22760 +Subproject commit 56f84b8f328c81387803714af3d26431b20baf7c