From 5723d533a9907538b4fce8d5eed60f3315e8c177 Mon Sep 17 00:00:00 2001 From: Benjamin Bannier Date: Wed, 5 Jul 2023 10:22:33 +0200 Subject: [PATCH] Bump Spicy to latest release. This bumps Spicy to 1.8.1 which fixes #3101. --- auxil/spicy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/auxil/spicy b/auxil/spicy index 8727fa050a..7e074675b9 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit 8727fa050a575387986a057c91f806a9a74786f6 +Subproject commit 7e074675b994d59050b4468dec145526daa22760