Server Downtime

The server was down today from around 8:30 to 01:00 CET due to a boot manager without a default choice. Actual downtime was roughly 10 minutes, so it’s a bit of a bummer not to have detected this any sooner. However, I was moving to a new flat and didn’t get connected again until this evening.. sorry for any inconvenience this may have caused.

Note that the server will be going down again August 25th from 12:00 to 16:00 CET, as that is when the DSL line is installed and switched over to the new place.