I'm afraid that bug is an inherent property of the gzip format; it
stores the uncompressed size modulo 2**32.  Fixing this will require
changing the format, not something we want to do lightly.


Reply via email to