Subject: Re: [bug#62628] [PATCH] gnu: Add cl-fast-ecs.
From: Guillaume Le Vaillant <[email-masked]>
To: Sharlatan Hellseher <[email-masked]>
Cc: [email-masked]
Date: Tue, 04 Apr 2023 08:26:44 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as 3905bd72996578a83dcc5aa40c0bdcee1cd08cc6.
Thanks.