Hi Junio, On Wed, 15 May 2019, Junio C Hamano wrote: > Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > > >> See a few nits below, none of which are necessarily worth a re-roll. > > > > Thanks! > > > > Junio, do you agree, do you want to fix it up on your side? > > I think you'd see all of them in what I've pushed out. Indeed, what you merged to `next` looks good to me, too. Thanks, Dscho
