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.

Reply via email to