Subject: Re: Piping into gzip --list -
From: Paul Eggert <[email-masked]>
To: Stefano Marsili <[email-masked]>
Cc: [email-masked]
Date: Tue, 29 Mar 2022 16:15:38 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for your bug report dated 2020-12-09. As it happens I was fixing 
a related bug that is commonly reported, and the patch I installed 
happened to fix your bug in a different way. The patch I installed is here:

https://git.savannah.gnu.org/cgit/gzip.git/commit/?id=cf26200380585019e927fe3cf5c0ecb7c8b3ef14

and something like this should appear in the next gzip release.