Subject: Re: [bug#65592] [PATCH]: Update sbcl to 2.3.8
From: Guillaume Le Vaillant <[email-masked]>
To: André A. Gomes <[email-masked]>
Cc: [email-masked]
Date: Sat, 23 Sep 2023 09:16:58 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

SBCL 2.3.8 didn't build on riscv64, so instead version 2.3.7 is used for
now. It has been merged in master at
4f35ff1275e05be31f5d41464ccf147e9dbfd016.
Let's close this issue and open a new one for a future update of SBCL
(maybe 2.3.9 will fix the build failure).