mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-22 07:12:39 +00:00
* commands/terminal.c (GRUB_MOD_FINI(terminal)): Unregister
`terminal_input' / `terminal_output', not `terminal'.
* commands/terminal.c (GRUB_MOD_FINI(terminal)): Unregister
`terminal_input' / `terminal_output', not `terminal'.