Subject: Re: [bug#55053] [PATCH] gnu: Add cl-bobbin.
From: Guillaume Le Vaillant <[email-masked]>
To: "Paul A. Patience" <[email-masked]>
Cc: [email-masked]
Date: Sat, 23 Apr 2022 08:58:14 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as a58734e7fea0015ba113be068d0aebf67dd8afdb.
Thanks.