Re: Gzip not keeping original file date

[Paul Eggert]

Since someone else built the executable, please report the bug to them
directly.  They can then determine whether (as is quite possible) the
bug was in the particular way that they built from the source.  Thanks.