On Sat, Feb 8, 2014 at 7:58 PM, Paul Eggert <egg...@cs.ucla.edu> wrote: > It's a known problem, inherent to the gzip format (which stores only the > last 32 bits of the uncompressed size). Fixing it would require changing > the format, which is unlikely at this point.
Thanks for the report Chris and for explaining, Paul. I'm marking this issue as done (via the -done address Cc'd above).
