Re: [boost] Migrating www.boost.org to another server

Hi Beman, Can we do that 2:00pm (E.T.) today? We need to restart a new server to take a snapshot of it this morning. Is 2:00pm (E.T.) OK with you? Regards, -- - DongInn On May 24, 2013, at 7:32 AM, Beman Dawes wrote:

Any time estimate as to when to do the DNS switch?

--Beman

_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost