Re: [PATCHv3 05/11] Makefile: do not replace @@GIT_USER_AGENT@@ in scripts
- From
Jeff King <peff@peff.net>
- Date
- Jun 20, 2012, 20:09 UTC
- 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:
Show 6 quoted lines
> 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