Hi Junio, On Mon, 30 Oct 2017, Junio C Hamano wrote: > Jonathan Nieder <jrnieder@xxxxxxxxx> 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