On Fri, May 17, 2019 at 05:16:34PM +0100, Neil MacLeod wrote: > Hi Daniel & Michael > > I've tested the new patch (in place of my attempt) and grub is > building successfully so it looks good here!
Thanks! I allowed myself to add your Tested-by. I hope this is not a problem for you. Michael, thank you for posting the patch. This and other fixes posted earlier are now in the tree. Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
