On Mon, Feb 17, 2020 at 10:30 AM Stefan Eissing <[email protected]> wrote: > > Does this look like a Travis problem? Just red on some "Linux Ubuntu" > combinations, but I do not really see the cause.
I looked at one and it didn't get far enough for us to care.
