Debian.org ip address change?

[mr fossguy <mrfossguy@gmail.com>]

Hi debian-security,

I was just *notified that debian.org had its ip address changed, but I
haven't seen any announcement
about that anywhere else

That's what I got:

"Debian.org host change: > debian.org address 128.31.0.51 added."

And if I do host -t A debian.org I get:

debian.org has address 194.109.137.218
debian.org has address 128.31.0.51

Even though the 128.31.0.51 ip points to an invalid page. Anyone knows
about it? I twitter about
it, but didn't get any reply yet...


*btw, the notify was from http://sucuri.net monitoring tool... very
good to keep track of site/domains
changes.


Thanks,