From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 27 Jun 2013 15:22:06 GMT
Subject: Re: [PATCH v2 0/5] git-prompt: cleaning and improvement
Message-ID: <7v8v1vvash.fsf@alter.siamese.dyndns.org>
In-Reply-To: <cover.1372211661.git.erdavila@gmail.com>

Queued, and merged to 'pu' without the previous merge with the older
iteration.  If you two can double check the merged result, it would
be very much appreciated.

Thanks.