On Fri, Feb 09, 2018 at 01:10:45PM +0100, John Paul Adrian Glaubitz wrote: > On 02/09/2018 12:04 PM, Daniel Kiper wrote: > >>Ok, do you want to remove it? Or should I send out an updated patch? > > > >I will remove it before commit. > > Is it going in today? ;-)
Sadly no. I am busy with other stuff. I will apply this and other outstanding patches next week. Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel