From d94ca50d0b6ccd1bbe5706555f46330cd2d85cb5 Mon Sep 17 00:00:00 2001 From: Benjamin Bannier Date: Wed, 14 Jun 2023 13:31:50 +0200 Subject: [PATCH] Bump Spicy to latest release. --- auxil/spicy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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