mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-21 06:49:35 +00:00
* script/sh/execute.c (grub_script_execute_cmdline): Set "?" in unknown-command case. Fixes bug #27320.
* script/sh/execute.c (grub_script_execute_cmdline): Set "?" in unknown-command case. Fixes bug #27320.