>>> Freedesktop.org is down for more than 12 hours now.... >> >> Yes, and we can't do anything except waiting until the problem has >> been fixed. Of course, such things happen during a weekend :-| > > The admins can be found on #freedesktop on irc.oftc.net, where they > report the problem has been fixed now.
Thanks for the info!
Werner
