* [EMAIL PROTECTED] ([EMAIL PROTECTED]) wrote: > Our main file server, edith, developed bad spots in its /n/other > partition, so we took /n/other out of service until we sort it out. > Unfortunately, a lot of the machinery that maintains sources lives > there. We'll be working on this problem on Friday.
No sweat. I ran a pull last night, too, and all the current situation means is that everything gets thrown away and pulled afresh afterwards. Not for the faint of heart though.
