[arch-dev-public] nymeria defective disk

Hi, nymeria has a defective hard disk and I asked for a replacement today. I don't know if it needs to be shut down and when that will happen. Expect a shutdown without prior notice just in case. If the server is down, the mailing lists are still available if mail is sent to @lists.archlinux.org rather than @archlinux.org (just in case this takes longer than expected). Florian