git.freedesktop.org IP change?

[Brian Paul]

[sorry if I'm posting to the wrong list]

Has the address of git.freedesktop.org changed?  Is anyone else seeing 
this with git:?


@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@    WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!     @
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
IT IS POSSIBLE THAT SOMEONE IS DOING SOMETHING NASTY!
Someone could be eavesdropping on you right now (man-in-the-middle attack)!
It is also possible that the RSA host key has just been changed.
The fingerprint for the RSA key sent by the remote host is
95:b5:28:3d:9b:37:55:d4:fc:3d:99:b4:06:9d:9b:5f.
Please contact your system administrator.
Add correct host key in /home/brian/.ssh/known_hosts to get rid of this 
message.
Offending key in /home/brian/.ssh/known_hosts:40
RSA host key for git.freedesktop.org has changed and you have requested 
strict checking.
Host key verification failed.
fatal: The remote end hung up unexpectedly


-Brian