bug#62393: closed ([PATCH 1/2] gnu: Add cl-collider.)

[GNU bug Tracking System]

Your message dated Thu, 30 Mar 2023 09:36:15 +0000
with message-id <875yai8tou.fsf@kitej>
and subject line Re: [PATCH v3] gnu: Add cl-collider.
has caused the debbugs.gnu.org bug report #62393,
regarding [PATCH 1/2] gnu: Add cl-collider.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
62393: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=62393
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 1/2] gnu: Add cl-collider.
>
>
>
>
> Date: 
>
> Wed, 22 Mar 2023 21:34:56 +0000
>
>
>
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [PATCH v3] gnu: Add cl-collider. Date: Thu, 30 Mar 2023 09:36:15 +0000

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

signature.asc
Description: PGP signature

--- End Message ---