mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-23 07:39:22 +00:00
* normal/menu.c (run_menu): Check for empty menu to avoid crash. (grub_menu_run): Likewise.
* normal/menu.c (run_menu): Check for empty menu to avoid crash. (grub_menu_run): Likewise.