Hi Junio, On Thu, 25 Jul 2019, Junio C Hamano wrote: > "Johannes Schindelin via GitGitGadget" <gitgitgadget@xxxxxxxxx> > writes: > > > I had prepared these patches even before v2.22.0, but deemed them not > > critical enough to push into that release. > > Thanks. Both of these look quite sensible. Will queue and > fast-track. Thank you! Dscho