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 ;)



Reply via email to