Subject: Re: [PATCH v3] gnu: Add cl-collider.
From: Guillaume Le Vaillant <[email-masked]>
To: jgart <[email-masked]>
Cc: [email-masked]
Date: Thu, 30 Mar 2023 09:36:15 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as 314c59973946d642d3c7f860867c494f0bb356dd with a few
modifications. I enabled the ecl package as the build succeeded.
Thanks.