Hi, On Thu, 2 May 2019, SZEDER Gábor wrote:
> On Tue, Apr 30, 2019 at 06:16:48PM -0400, Johannes Schindelin wrote: > > > > [...] > > > > I assume you verified that this works also with our Azure Pipeline? > > No, I didn't; only on Travis CI's 14.04 and 16.04 images and on a > local 16.04 install. I guess we'll find out once things hit `pu`... Ciao, Dscho
