From f68d43bc022961deab79d88ce4372e039d335af7 Mon Sep 17 00:00:00 2001 From: Robin Sommer Date: Tue, 12 Nov 2024 15:00:01 +0100 Subject: [PATCH] Bump Spicy to current `main`. --- auxil/spicy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/auxil/spicy b/auxil/spicy index 135c1c9822..99049d80d2 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit 135c1c98220b514dd3684ec940b8734f78a2fd2e +Subproject commit 99049d80d29049b4142f356bc571c574f908a76d