[Savannah-hackers-public] *GNU.org downtime

[Sylvain Beucler]

Hi,

gnu.org and savannah.gnu.org were not accessible this morning (~7-13h GMT).
Is there something we can say to inquiring users about it?

Thanks,

-- 
Sylvain