2009-10-29

There will be an emergency NFS server reboot today at 13:15. We are aware that NFS is very slow: hopefully this will fix the problem. Update: The NFS server has been rebooted, and service is restored. Please let us know if you have any further issues.