Subject: Re: [bug#58991] [PATCH] gnu: Add cl-incless.
From: Guillaume Le Vaillant <[email-masked]>
To: jgart <[email-masked]>
Cc: [email-masked]
Date: Sat, 05 Nov 2022 12:04:48 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as ceac0fb1294b47bfd0cf31bb3950cd5d631c2227.
Thanks.