Junio C Hamano <gits...@pobox.com> writes:

> Johannes Schindelin <johannes.schinde...@gmx.de> writes:
>
>> On Thu, 11 Aug 2016, Junio C Hamano wrote:
>>> 
>>> Do you have a preference either way to help us decide if we want to
>>> take this change or not?
>>
>> I have no strong preference. I guess that it does not hurt to go with the
>> patch, and it would probably help in a few cases.
>
> OK.  Let me dig the change back and how well it still fits ;-)

Ah, I already had it in my tree lest I forget.  Let me mark it for
merging down to 'master'.

Thanks.

Reply via email to