From 36d0d7c9ea3e94dabbed9e77ec392ee65b48825b Mon Sep 17 00:00:00 2001 From: Tim Wojtulewicz Date: Thu, 23 Jun 2022 13:03:55 -0700 Subject: [PATCH] Merge remote-tracking branch 'origin/topic/bbannier/bump-spicy' * origin/topic/bbannier/bump-spicy: Bump Spicy to the latest development version. (cherry picked from commit e60c305ac1d1b711ee38809a0d0cca76084cfc59) --- auxil/spicy/spicy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/auxil/spicy/spicy b/auxil/spicy/spicy index ca72a01484..887b7dac01 160000 --- a/auxil/spicy/spicy +++ b/auxil/spicy/spicy @@ -1 +1 @@ -Subproject commit ca72a01484a7c49f2de55fb8b8af631fdc0d6d42 +Subproject commit 887b7dac010de9389230c4d5f4aa445fdf8c6bd9