Subject: Re: [bug#62363] [PATCH] gnu: Add cl-trivial-rfc-1123.
From: Guillaume Le Vaillant <[email-masked]>
To: jgart <[email-masked]>
Cc: [email-masked]
Date: Wed, 22 Mar 2023 13:42:13 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as c8b3b7fe5afeb6caae1dda1281ad3d7ece4c6c47.
Thanks.