From: Väinö Järvelä <v@pp.inet.fi>
Date: Wed, 05 Dec 2007 11:50:17 GMT
Subject: Re: [PATCH] Documentation: add a new man page for "git-help" and -i|--info option.
Message-ID: <6809BA12-0200-4EA8-BB9E-D26ED5E27660@pp.inet.fi>
In-Reply-To: <7vabopzfek.fsf@gitster.siamese.dyndns.org>

On Dec 5, 2007, at 10:58, Junio C Hamano wrote:

> Perhaps your mail and my push crossed.  The same fix is there at the  
> tip
> of 'master' branch since last night.

Ah, sorry, I didn't check the master, and didn't mention that the fix  
was for next.

--
Väinö