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

Great! I will make sure that the $HOME directories of Rene and Daniel's are rsynched to the new server at the last moment. Regards, -- - DongInn On May 24, 2013, at 8:58 AM, Beman Dawes wrote:

On Fri, May 24, 2013 at 8:49 AM, DongInn Kim wrote:

...

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?

Works well for me. I'll do it at 2:00pm (E.T.) unless I hear differently from you.

Thanks,

--Beman

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