24 May
2013
24 May
'13
8:32 p.m.
On Fri, May 24, 2013 at 4:24 PM, DongInn Kim
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.
Done.
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.
I'm not sure what its purpose is, so I'll let Daniel decide that one. Thanks, --Beman