Hi Junio, On Tue, 5 Feb 2019, Junio C Hamano wrote: > Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > > > On Mon, 4 Feb 2019, SZEDER Gábor wrote: > > > >> Under Dscho's bugreport it looks like they already merged a one-liner > >> fix, but how long will it take to tickle down to Travis CI, I have no > >> idea. > > > > Since the fix affected a Homebrew package, it was not so much about > > trickling down to Travis, but about trickling down into the public > > Homebrew repositories. And it seems that that trickling is complete now. > > Good news. Thanks both for reporting and monitoring. > > I still think the >/dev/null thing is a good idea, so unless I hear > otherwise, let's merge it down to 'next', etc. Yes, it is a very good idea. Ciao, Dscho
