On Fri, Feb 09, 2018 at 01:33:52PM +0100, Daniel Kiper wrote: > 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.
Done! Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel