Hi,
> will you keep your testing branch? I removed build testing yesterday but
> I can re-add the Jenkins job if you want to.
Yes, I always keep it with more exotic stuff or hacks in there, but I
don't think the build testing is necessary now that the build system
changes are merged.
Cheers,
Sylvain