Subject: Re: [bug#54391] [PATCH] gnu: sbcl-envy: Update to 26a7faa.
From: Guillaume Le Vaillant <[email-masked]>
To: jgart <[email-masked]>
Cc: [email-masked]
Date: Thu, 17 Mar 2022 09:03:26 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as b999ce74baced2f729fd97f9df76d622ff47d6c8 with some
modifications.
Thanks.