On Tue, Jan 30, 2018 at 09:57:15PM +0000, Colin Watson wrote: > Thanks for your other comments; I'll follow up in a moment with > corrected patches.
Has anyone had a chance to review these? I'd be happy to deal with actually committing them if they look OK. -- Colin Watson [cjwat...@ubuntu.com] _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel