Follow-up Comment #1, bug #60067 (project grub):
Yep, you'll be happy to hear this has been known for at least 3 years along
with the solution. See:
https://lists.gnu.org/archive/html/grub-devel/2018-09/msg00018.html
I actually created a patch many months ago implemented similar to what you
describe, but haven't sent it to the mailing list yet. May be I'll get around
to it soon.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?60067>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
