[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v5] gzip: add "--keep" option to keep (don't delete) input fi
Re: [PATCH v5] gzip: add "--keep" option to keep (don't delete) input files
Sat, 16 Mar 2013 15:39:23 -0300
On Sun, Mar 10, 2013 at 08:07:17PM -0300, Rodrigo Campos wrote:
> 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 ? :)
This patch has been posted for a month now (was posted on Feb 16) and is pretty
small (the diff seems bigger, but if you look at it with "git show -w" you'll
see it's pretty small). Also, Paul is okay with the idea of adding this
If Paul doesn't have time, can someone else review & apply (if he/she is okay) ?
Thanks a lot,