From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 05 Dec 2007 08:58:43 GMT
Subject: Re: [PATCH] Documentation: add a new man page for "git-help" and -i|--info option.
Message-ID: <7vabopzfek.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <178B37CE-9B28-4CE2-B8A0-FCA28CF85E12@pp.inet.fi>

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