Marking this bug report as done because Jim updated gzip to the latest Gnulib on December 13, after this patch was submitted.


Reply via email to