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

Reply via email to