On Tue, Jun 23, 2020 at 1:11 PM Joe Orton <[email protected]> wrote:
>
> 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 ;)

Thanks *you*! The CI is really awesome and reassuring.

Reply via email to