From: Jeff King <peff@peff.net>
Date: Wed, 20 Jun 2012 20:09:07 GMT
Subject: Re: [PATCHv3 05/11] Makefile: do not replace @@GIT_USER_AGENT@@ in scripts
Message-ID: <20120620200906.GA1397@sigill.intra.peff.net>
In-Reply-To: <7vobodu4sj.fsf@alter.siamese.dyndns.org>

On Wed, Jun 20, 2012 at 01:06:20PM -0700, Junio C Hamano wrote:

> Jeff King <peff@peff.net> writes:
> 
> > No scripts actually care about this replacement. This was
> > erroneously added by d937411.
> 
> d937411???

Whoops. That's the version in my local repo (from which I sent a patch
that you applied). The version in your repo is 42dcbb7.

-Peff