RESOLVED, up again (was: Re: FYI: freedesktop.org currently down)

[guenther <guenther rudersport de>]

The freedesktop.org server is up again!  Happy building everyone! :)

(*sigh*  The time between spotting the issue and my post to the list was
way longer, than the time till the fd.o team restored the service. Never
go brew a pot of coffee before sending a mail, always have a fresh cup
of steaming hot, black coffee around.)


-- 
char *t="\10pse\0r\0dtu\0  ghno\x4e\xc8\x79\xf4\xab\x51\x8a\x10\xf4\xf4\xc4";
main(){ char h,m=h=*t++,*x=t+2*h,c,i,l=*x,s=0; for (i=0;i<l;i++){ i%8? c<<=1:
(c=*++x); c&128 && (s+=h); if (!(h>>=1)||!t[s+h]){ putchar(t[s]);h=m;s=0; }}}