On Thu, Nov 30, 2017 at 10:22:57PM +0100, Daniel Kiper wrote: [...]
> Understood! I will apply this patch next week. Pushed! Thanks, Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel