Just fyi... There is a new Linux kernel security upgrade posted this last weekend. I waited unti the FSF admins were back at work today. I will roll thorugh the Savannah cluster and install the latest kernel and reboot to it. There should only be momentary downtime as each server reboots.
Bob