Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > Hi Junio, > > On Fri, 15 May 2020, Junio C Hamano wrote: > >> Thanks, both. Will replace and let's merge it down before -rc1. 'next' passes with this https://github.com/git/git/runs/679473788 https://github.com/git/git/runs/679473866 etc. Thanks.