Subject: Re: [bug#47961] [PATCH]: Gnu: Add terrable
From: Guillaume Le Vaillant <[email-masked]>
To: Sharlatan Hellseher <[email-masked]>
Cc: [email-masked]
Date: Fri, 23 Apr 2021 08:46:21 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch pushed as 4bef55db1d27aab2775ce2ec2ad11ff58a3c4f4c.
Thanks.