mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-21 06:49:35 +00:00
* kern/efi/init.c (grub_efi_fini): Don't call grub_efi_mm_fini as it would result in module crash.
* kern/efi/init.c (grub_efi_fini): Don't call grub_efi_mm_fini as it would result in module crash.