On Wed, May 2, 2012 at 1:46 AM, Felipe Contreras
[off-list ref] wrote:
On Wed, May 2, 2012 at 1:39 AM, Junio C Hamano [off-list ref] wrote:
quoted
I see this was not addressed to me (neither was the other zsh one), so I
take it that the patch is still for discussion, at least for the purpose
of today's integration round. Ping me when it is ready for either 'pu' or
'next'.
I'd say at least one person should say LGTM before asking you to integrate it.
Nobody has raised any issues with this, so, please merge it to 'pu'.
This is so straight-forward that it might make sense to move to 'next'
through.
Cheers.
--
Felipe Contreras