On 8/10/18 14:02, Paul Eggert wrote:
What platform and gzip version are you using, and how was gzip built and installed? Can you reproduce the problem? Better yet, can you show us how to reproduce the problem?
No further comment in four years, so I'm closing this old bug report.
