Hi all, it's time for new kernels and such, so all of fdo will be rebooted on Friday morning, 0700 or so UTC. Coordination, to the extent any is needed, will happen in #freedesktop. Cheers, -- Tollef Fog Heen UNIX is user friendly, it's just picky about who its friends are