Hi all, most of the freedesktop.org servers just got new kernels, so they'll be rebooted tomorrow (Thursday) morning UTC. Sorry for the short notice, downtime should be neglible. Regards, -- Tollef Fog Heen UNIX is user friendly, it's just picky about who its friends are