Tested-by: Philip Hands <[email protected]> (first-time incompetence with git send-email lost this from previous mail)
_______________________________________________ Grub-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/grub-devel
