On Mon, Oct 16, 2017 at 1:06 AM, Paul Eggert <egg...@cs.ucla.edu> wrote: > Thanks for the bug report. I installed the attached patch, which is a bit > different from what you proposed but has the same basic idea. Please give it > a try. I'm marking this bug as fixed; if I'm wrong we can always unmark it > and continue.
Thank you both. This deserves a new release. I am updating to latest gnulib now, will shortly make a pre-release snapshot and wait a couple of days in case anyone spots problems with that. Let me know if you think there's any additional change that should be included in the upcoming gzip-1.9.
