Subject: Re: [PATCH 1/4] Update .gitignore files
From: Paul Eggert <[email-masked]>
To: Ilya Leoshkevich <[email-masked]>
Cc: [email-masked]
Date: Mon, 4 Apr 2022 11:48:23 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks, I think we've added those .gitignore entries to gzip's 
development version now. Closing the bug report.