git ssh changes?

["Jeremy C. Reed" <reed@xxxxxxxxxxxxx>]

I tried to get to git.freedesktop.org via ssh and got a WARNING: REMOTE 
HOST IDENTIFICATION HAS CHANGED!

Sorry if I missed an email about this. I couldn't see on the 
freedesktop.org page.

So my .ssh/known_hosts has wrong details for both the hostname and the 
131.252.210.178 IP.

The news on the front page for http://www.freedesktop.org/wiki/ doesn't 
mention about this.
_______________________________________________
xorg mailing list
xorg@xxxxxxxxxxxxxxxxxxxxx
http://lists.freedesktop.org/mailman/listinfo/xorg