Heads Up - CVS updates may be broken for a bit.

[Eric Sandeen <sandeen@xxxxxxx>]

We're moving many internal machines this week, and in particular, the
machine that handles the push from our internal source tree to external
CVS will be moving either this afternoon, or tomorrow.

CVS should still be available, since it's hosted on an external machine,
but updates from internal sources may not happen in a timely fashion. 
If things move on Friday, updates might not get resumed until early next
week.

Hopefully things will go smoothly, but here's your fair warning.  :)

-Eric