Well, it seems like most of the DNS servers have already picked up my new IPs. (The
ones for the mailing list server, and all the random people I asked :) Just for
reference, these are the IPs you should see:
navi.picogui.org has address 128.138.2.241
yoshi.picogui.org has address 128.138.2.249
Hi Everybody,
navi.picogui.org will be changing IP addresses, and it could take up to a week for the
DNS to propagate around.
This means of course that I might not be reachable from my [EMAIL PROTECTED]
email address. My other addresses ([EMAIL PROTECTED] and
[EMAIL PROTECTED]) should still w