On Wed, 2007-02-07 at 15:50 +0900, Charles Oliver Nutter wrote:
> Now it just completed...perhaps a bad mirror somewhere? Does the source 
> index get mirrored?

Nope, not yet.  

Yours,

Tom