Okay, the general prettifying of grub is bug #19251.

-- 
Too many kernels in grub menu
https://launchpad.net/bugs/19251

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to