Re: [PATCH v5] gzip: add "--keep" option to keep (don't delete) input files

[Rodrigo Campos]

On Sun, Feb 24, 2013 at 09:58:04PM -0800, Paul Eggert wrote:
> On 02/23/2013 07:45 AM, Rodrigo Campos wrote:
> > I think everyone should be okay with it now. Are you okay
> > with the documentation now ?
> 
> Sorry, haven't had time to check it.  It's on my to-do list.

Ping ? :)

Don't want to bother you, just make sure this isn't forgotten :)




Thanks a lot,
Rodrigo