[pypy-dev] cobra server at the Uni Düsseldorf

Hi all, we need to do some server restructuring at the university and in the process need to use Cobra for other things (we will get some other machine back after the reshuffling). Sorry about the disturbance. Could people please check their home directories for things that need to be kept and move them elsewhere? We plan to shut Cobra down on the 19th of February, if somebody cannot make it till then, please send me a mail. Cheers, Carl Friedrich