Brief outage on main linux server

There was a brief outage for about 20 minutes on the main linux server today at around midday. This was the result of an unscheduled server reboot. Please accept our apologies for any inconvenience.