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

[Paul Eggert]

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.