Follow-up Comment #7, bug #64376 (project grub): No one seemed to be looking into this so I posted a fix on grub-devel:
https://lists.gnu.org/archive/html/grub-devel/2023-09/msg00059.html _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?64376> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
