[Linerva-announce] Unexpected brief downtime and reboot tonight

[Nelson Elhage]

Hi,

We were forced to reboot Linerva at around 9pm tonight after it became
unresponsive about half an hour earlier for unknown reasons. Linerva
should be back up now as of about 9:45.

We apologize for the inconvenience, and will investigate to attempt to
determine the cause of this outage and prevent it from recurring.

- Nelson Elhage
for the Linerva maintainers