Hi Junio, On Mon, 28 Sep 2020, Junio C Hamano wrote: > "Johannes Schindelin via GitGitGadget" <gitgitgadget@xxxxxxxxx> > writes: > > > From: Johannes Schindelin <johannes.schindelin@xxxxxx> > > > > Signed-off-by: Johannes Schindelin <johannes.schindelin@xxxxxx> > > --- > > Shouldn't this be squashed into the step being fixed, which is part > of this series? Would it be the "fall back to using..." step (4/11)? Oy. I did not even realize that it was _my_ typo. Fixed in my branch. I'll wait a little, just in case that anything else needs to be fixed, before sending the next iteration. Ciao, Dscho