Subject: Re: [bug#44951] [PATCH] gnu: Add catfish.

From: Kei <[email-masked]>
Date: Wed, 02 Dec 2020 09:22:47 -0500

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

Kei