Follow-up Comment #1, bug #64294 (project grub): Problem is solved after this commit: title "efi: Add missing __grub_efi_api attributes" 6d8853e215716bb389f61a6941d2d893468470f4
_______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?64294> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/