Done, new patch below. If there are no further comments, I will commit it in a few days.


Committed.

Christian



_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel

Reply via email to