These galaxies had to change IPs (blame Google!) recently. If you're experiencing any connectivity issues involving these galaxies or their children and grandchildren, restarting vere will get the new IPs out of the DNS.
This is partly Google's fault and partly mine. I will add re-resolving czar IPs when the DNS TTL expires to ames.c to my todo list. Yours, r -- You received this message because you are subscribed to the Google Groups "urbit" group. To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+unsubscr...@googlegroups.com. To post to this group, send email to urbit-dev@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
