Follow-up Comment #3, bug #43653 (project grub): Oh, a third party library could fix it, if only it were linked in. Great.
Prepending /dev/ is still wrong. And that's in grub. Erase it or guard it with configure-time conditions or something, but don't mark this as resolved until the bad code is gone. There's a fix attached to another bug. https://savannah.gnu.org/bugs/download.php?file_id=35855 _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?43653> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-grub mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-grub
