Hiya, there's been a kernel update we need to apply, so we'll have a bit of downtime tomorrow morning UTC when rebooting all the various machines. Ask in #freedesktop if you have any questions. Cheers, -- Tollef Fog Heen UNIX is user friendly, it's just picky about who its friends are