[Dune] Reboot dune-project.org

Sven Marnach sven at pantoffel-wg.de
Mon Jun 8 11:33:05 CEST 2009


Hi all,

the server dune-project.org will be rebooted today between 16:30 and
17:00 due to a kernel update.  During this period, neither the
svn.dune-project.org nor www.dune-project.org are accessible.

Greetings from Heidelberg,
    Sven




More information about the Dune mailing list