I've forwarded this upstream as https://lists.gnu.org/archive/html/grub- devel/2013-09/msg00046.html, and added my own review there. Sorry for the long delay!
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1178618 Title: --hotkey option does not work when the menu is hidden To manage notifications about this bug go to: https://bugs.launchpad.net/grub/+bug/1178618/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
