People, I've asked several people to reopen their pr because of jenkins configuration problems. I think i found the little checkbox that needed setting now. Please do not hurry but reopen any failed PRs on jenkins problems, if you fell it wasn't in your code. don't do it all at once as builds.a.o is kind of heavily loaded.
-- Daan
