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/


Reply via email to