Thanks Adrian - testing with your patch now, will be another hour or so until the build is complete (cross-compiling environment with own toolchain etc.)
Just a correction, I'm testing with 4dd4ceec023111a4ccf69f8de6fa0885c6847a35 (current HEAD) - looks like I cut & pasted a rev from a different repo in my original post! Regards Neil On Mon, 6 May 2019 at 18:59, John Paul Adrian Glaubitz <glaub...@physik.fu-berlin.de> wrote: > > On 5/6/19 7:15 PM, Neil MacLeod wrote: > > Does anyone have a patch? > > Try the attached patch. > > Adrian > > -- > .''`. John Paul Adrian Glaubitz > : :' : Debian Developer - glaub...@debian.org > `. `' Freie Universitaet Berlin - glaub...@physik.fu-berlin.de > `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913 _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
