junkins

[Laszlo Hornyak]

Hi,

What's wrong with the jenkins jobs? I am getting various errors for a good
while, while the build anyway seems to work fine and tests pass. Anyone
working on this?

-- 

EOF