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