You guys are the best, I'm really impressed with all of the responses
to this issue! Thank you all for all of your hard work!
On Fri, Sep 9, 2016 at 3:00 PM, Junio C Hamano <gits...@pobox.com> wrote:
> 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'.