Subject: Re: [bug#47844] [PATCH 1/2] - updated croatoan TUI library and tinmop.
From: Guillaume Le Vaillant <[email-masked]>
To: cage <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Mon, 19 Apr 2021 15:34:53 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patches pushed as 7b5b42129e13e60f0a140e0e7845e715b535a997 and
following with a few fixes (commit messages, incrementing 'revision').
Thanks.