On Mon, Mar 11, 2013 at 01:43:28PM -0400, Ryan Lerch wrote:
IIRC, in f17, the GRUB screen was not visible. (you could still
press f11 to bring it up if you needed it to). Does anyone know why
this behaviour changed?
I think you're thinking of F15. It was a patch we were carrying to grub1,
and it wasn't particularly well liked, so we didn't see it as worth
investing the time in when we switched to grub2.
--
Peter