Re: [PATCH v2 0/5] git-prompt: cleaning and improvement
From: Junio C Hamano <hidden>
Date: 2016-06-15 22:57:56
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.