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