Done. https://savannah.gnu.org/bugs/index.php?48422
_______________________________________________ Grub-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/grub-devel
Done. https://savannah.gnu.org/bugs/index.php?48422
_______________________________________________ Grub-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/grub-devel