Subject: Re: [PATCH 1/4] Update .gitignore files

From: Paul Eggert <[email-masked]>
Date: Mon, 4 Apr 2022 11:48:23 -0700

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