Hi all, there's been a point release of Debian which updates some key packages that are only meaningfully restarted on a reboot, so I'm going to reboot the entire fdo infrastructure tomorrow EU morning. Chat to me on #freedesktop if you have any questions. Cheers, -- Tollef Fog Heen UNIX is user friendly, it's just picky about who its friends are