Subject: Re: [bug#58741] [PATCH] gnu: Add cl-stdutils.
From: Guillaume Le Vaillant <[email-masked]>
To: jgart <[email-masked]>
Cc: [email-masked]
Date: Mon, 24 Oct 2022 12:22:19 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as de50d00ca835ef7fc0e38b91c8ace114a74fcfa3.
Thanks.