Stopped jenkins+dev


just a quick note to say I've stopped jenkins and the dev instance. There doesn't seem to be much interest in them and we don't have resources to maintain them.

Please note that documentation and war builds now have to manually deployed to

From sunny Dublin,

Hi again,

found out the continued spam was caused by an old version of jenkins being started by a script ifi operations had setup. Should hopefully be gone for good now..