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/
