Hi all, most of the freedesktop.org servers just got new kernels, so they'll be rebooted on Sunday morning UTC. Sorry for any service disruption, downtime should be minimal. Regards, -- Tollef Fog Heen UNIX is user friendly, it's just picky about who its friends are