Johannes Schindelin <johannes.schinde...@gmx.de> 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.
