Hi all, I am sorry that Jenkins had a couple of problems in the last couple of hours. I managed to fill up the disk by making backups of the OpenSPIM wiki (http://openspim.org/) which is hosted on the same machine. Fixed now, the backups go to another disk. Ciao, Dscho