I have no idea what caused the server to freeze up at about 00:10 GMT on 13 Feb 2011. Everything, including ping, stopped working then. Service was restored at about 17:26 GMT. Why so long? I was occupied elsewhere.
FreshPorts appears to have caught up with everything on the commit list.
