Subject: Re: [bug#44951] [PATCH] gnu: Add catfish.
From: Kei <[email-masked]>
To: Mathieu Othacehe <[email-masked]>
Cc: [email-masked]
Date: Wed, 02 Dec 2020 09:22:47 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for reviewing this!  It has been pushed to master with the suggested
change as commit 3c2cf75fb3.

Kei