Subject: Re: [bug#74527] [PATCH v2 1/3] gnu: cl-eclector: Update to 0.10.0.
From: Guillaume Le Vaillant <[email-masked]>
To: Konrad Hinsen <[email-masked]>
Cc: [email-masked]
Date: Wed, 27 Nov 2024 13:01:01 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patches applied as 9aa00715d2cdb91c2ab86ef5d68646fecf7fe04e and
following.
Thanks.