Hi Junio, On Mon, 30 Oct 2017, Junio C Hamano wrote:
> Jonathan Nieder <jrnie...@gmail.com> writes: > > > I have other changes to make when rerolling anyway (from Junio's > > review), so no need for a followup patch. Will fix this in the > > reroll today. > > > > Thanks for catching and diagnosing this, Dscho! > > In the meantime, I've queued this from Dscho; please take it into > consideration when you reroll. > > Thanks. Thanks for sending it out as an email. Ciao, Dscho
