Subject: Re: [bug#52221] [PATCH] gnu: croatoan: Update version.
From: Guillaume Le Vaillant <[email-masked]>
To: cage <[email-masked]>
Cc: [email-masked]
Date: Wed, 01 Dec 2021 12:28:55 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as 0da9ae01a88978d6e446a8092e8ca970fd1ed8c4 with a modified
commit message.
Thanks.