Subject: Re: [bug#46880] [PATCH] - added tooter library.
From: Guillaume Le Vaillant <[email-masked]>
To: cage <[email-masked]>
Cc: [email-masked]
Date: Wed, 03 Mar 2021 09:55:58 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as 9e76de0460a02c4129bec9a9e44b4a9c93e090a1 with some
modifications.
I put "Cage <[email-masked]>" in the copyright line; tell me if
you want to change it.
Thanks.