On Tue, Jun 23, 2020 at 12:14:01PM +0200, Yann Ylavic wrote: > Argh, fixed in r1879110 (hopefully).
Thanks a lot, looking green! If we didn't find some actual bugs I would feel like burning thousands of hours of CPU time in CI was a wasted effort ;)
On Tue, Jun 23, 2020 at 12:14:01PM +0200, Yann Ylavic wrote: > Argh, fixed in r1879110 (hopefully).
Thanks a lot, looking green! If we didn't find some actual bugs I would feel like burning thousands of hours of CPU time in CI was a wasted effort ;)