[lively-kernel] lively-kernel.org downtime on Friday, Sep 18, 8:00 - 12:00 CEST

[Hubert Hesse]

Hi all,

due to maintenance work to the server infrastructure at HPI we plan
to shut down lively-kernel.org on


Friday,   Sep 18, 8:00 - 12:00 CEST
Thursday, Sep 17, 11:00 PM - Sep 18, 3:00 AM PDT


The website is not accessible during the downtime.
Please report any urgent reasons against this time frame.

Best,
Hubert