anongit.freedesktop.org not available?

[Alexandre Demers]

Hi,

I've been trying all day to sync sources from anongit.freedesktop.org
(dri and mesa) and it always ends up by a time out. Is there a problem
with the server or the address?

Cheers,

-- 
Alexandre Demers