Server-reboot

Dear lively-kernel.org users,

there will be a maintenance server reboot tomorrow (Tuesday) 15:00 CEST.

Best,
Jens
_______________________________________________
lively-kernel mailing list
[hidden email]
http://lists.hpi.uni-potsdam.de/listinfo/lively-kernel