]] Tollef Fog Heen | most of the freedesktop.org servers just got new kernels, so they'll be | rebooted tomorrow (Thursday) morning UTC. Ooops, this didn't happen, so let's try again tomorrow (Friday) morning instead. Regards, -- Tollef Fog Heen UNIX is user friendly, it's just picky about who its friends are