From fe5a59d3c39e69ac57f628fbff1ccc4ed13465b0 Mon Sep 17 00:00:00 2001 From: Benjamin Bannier Date: Tue, 24 Oct 2023 10:10:54 +0200 Subject: [PATCH] Merge remote-tracking branch 'origin/topic/bbannier/bump-spicy' (cherry picked from commit 254d7ebfa2f39c26bfd18c79f7b6f525eb713fc6) --- auxil/spicy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/auxil/spicy b/auxil/spicy index eda2373bdf..d26c81c0a2 160000 --- a/auxil/spicy +++ b/auxil/spicy @@ -1 +1 @@ -Subproject commit eda2373bdf56914e0d4c56ecdda76cb85d39ea94 +Subproject commit d26c81c0a2982ef81339beebff455c23713fb526