Hi Beman,
Should boost.org and www2.boost.org also be switched?
Thanks for asking this but I was not sure what other services are using boost.org.
I just double checked it and I confirm that there are no other services using the "boost.org" hostname but the web service.
It would be safe to switch boost.org too.
But we have not moved www2.boost.org yet. So please do not switch www2.boost.org yet.
BTW, I think Daniel mentioned that you guys may want to remove it.
Regards,
--
- DongInn
On May 24, 2013, at 4:15 PM, Beman Dawes
www.boost.org is now (4:10pm ET) also switched.
That leaves these still pointing to the old address:
boost.org boostcon.boost.org lists.boost.org svn.boost.org wiki.boost.org www2.boost.org
Should boost.org and www2.boost.org also be switched?
--Beman