On Tue, 2004-02-17 at 06:52 -0500, Sandy Pond wrote: > I noticed that the headers are no longer synced. Is there a reason? > Oops ... caught mirror in middle of a push ... all's right now. Note to self - I need to be more patient.