[oe] ADMIN: Server back online

[Michael 'Mickey' Lauer]

The server has been restarted and all services seem to be running again.
According to the logs, we suffered from the OOM-killer. I can't see
which process actually lead to this, so I will pay more attention to the
server in the next couple of days.

Sorry for the inconvenience, thanks again to Rod Whitby who quickly
provided infrastructure so I could setup the emergency git mirror.

:M: