On Mon, May 10, 2021 at 10:54:31PM +0200, Tim Duesterhus wrote: > Willy, > Ilya, > > not tested, but it should be simple enough to not mess it up.
Ah thank you Tim, I was also a bit annoyed by the recent failures. I've just pushed it, let's see if it works! Wlily
