Subject: Re: [bug#67206] [PATCH] gnu: croatoan: Update to 0.2.
From: Guillaume Le Vaillant <[email-masked]>
To: cage <[email-masked]>
Cc: [email-masked]
Date: Sat, 18 Nov 2023 16:13:46 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch applied as 3f0ee6e7af3aeec0369c9bfb71f8e0abf06c6ed0.
Thanks.