kerberos.org migrated (Re: kerberos.org (including k5wiki and blog) migration 09/16)

[Tom Yu]

I completed the migration of the kerberos.org web server earlier this
morning.  Please let me know if you experience problems that might
have resulted from this migration.

A TCP forwarder will remain in place on the old IP address for at
least a few more days, though the new DNS record should have fully
propagated by now.