From: "JavierMartín" <[EMAIL PROTECTED]> Sent: Monday, June 30, 2008 5:02 AM
Phew, that was all (I hope) Cheers! Habbit
Thank you for the patch. Just tried it out, it works fine
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel