Follow-up Comment #3, bug #41801 (project grub):
I am attaching an updated patch (tested against version 2.02) which introduces
a new optional variable named GRUB_UNRESTRICTED_BOOT (to be placed in the
/etc/default/grub file).
Please consider accepting my patch for the next official version of GRUB. I
think the patch is simple enough to be below the copyright threshold. Should
this turn out to be false, I hereby release my patch under the same licensing
terms as GRUB, that is to say under the terms of the GNU General Public
License, version 3 or later.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?41801>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
_______________________________________________
Bug-grub mailing list
Bug-grub@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-grub
