Subject: Re: [bug#51153] [PATCH] gnu: Add cl-readline
From: Guillaume Le Vaillant <[email-masked]>
To: Foo Chuan Wei <[email-masked]>
Cc: [email-masked]
Date: Wed, 13 Oct 2021 08:52:04 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as f0c8cdb56519371432ed8b62c8eff446d8c5be6f with a few
modifications.
Thanks.