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

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