[Savannah-hackers] Savannah SSH key changed?

[Jason Rumney]

When attempting to check in some changes just now, I received the
following message.

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@       WARNING: POSSIBLE DNS SPOOFING DETECTED!          @
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
The RSA host key for cvs.gnu.org has changed,
and the key for the according IP address 199.232.41.3
is unknown. This could either mean that
DNS SPOOFING is happening or the IP address for the host
and its host key have changed at the same time.
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ 
@    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 
80:5a:b0:0c:ec:93:66:29:49:7e:04:2b:fd:ba:2c:d5. 
Please contact your system administrator. 
Add correct host key in /home/default/.ssh/known_hosts to get rid of this 
message. 
Offending key in /home/default/.ssh/known_hosts:1 
RSA host key for cvs.gnu.org has changed and you have requested strict 
checking. 
Host key verification failed.



I have already accepted the new public key for cvs.gnu.org since
savannah came back up, and have committed a couple of other changes
since then without this problem.

Has the key changed (is the fingerprint above correct), or has my end
screwed up?