Johannes Schindelin <Johannes.Schindelin@xxxxxx> 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 ;-) Thanks.