Moving Servers, DNS Push

Hello Y'all,

I am about to move Artima.com to a beefier server. It should take about 
an hour, 7PM to 8PM tonight EDT. Tomorrow I will do a DNS push of 
lists.artima.com, so that it points to the new server. In the meantime, 
this list should continue to work on the old server. Once I do the DNS 
push, that will take up to 24 hours to propagate across the internet, 
so this list may be funky for about a day. Sorry for the inconvenience.

Bill
--
Bill Venners
Artima Software, Inc.
http://www.artima.com