Subject: [boost] Migrating boostcon.boost.org
From: DongInn Kim (dikim_at_[hidden])
Date: 2013-05-28 16:17:20
Can we move "boostcon.boost.org" to the new server sometime this week?
If there is no particular activities on boostcon.boost.org, can we update the DNS entry for boostcon.boost.org to point to 220.127.116.11 at 2pm (E.T.) tomorrow (May 29th, 2013)?
Beman, do you think that we can update the DNS entry tomorrow?
-- - DongInn
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk