Re: gzip: add "--keep" option to keep original files unchanged

[Paul Eggert]

On 02/12/13 12:22, Rodrigo Campos wrote:
> What do you think ?

I think it's fine to put a change like that in.
The documentation needs to be improved, and if
you're doing the change it's probably complex enough
that we'll need to have papers signed -- is that something
you can do?