Hi everyone, I just upgraded from F11 to Rawhide and I see an issue : the Rawhide kernels do not show up in my menu.lst. Has anyone else encountered this? Is there a bug filed for this?