Subject: Re: [boost] Migrating www.boost.org to another server
From: Beman Dawes (bdawes_at_[hidden])
Date: 2013-05-24 14:06:29
DNS for beta.boost.org and live.boost.org updated.
(The other records, including www.boost.org, were not changed.)
In theory this can take up to one hour to propagate to DNS servers
worldwide. In practice I started getting the new addresses almost
instantly.
HTH,
--Beman