[Rock-dev] Build server dead
Sylvain Joyeux
sylvain.joyeux at dfki.de
Wed Aug 31 09:37:01 CEST 2011
The power supply of the build server died during the night. I'll update
you when I have more information
Sylvain
More information about the Rock-dev
mailing list