Thomas Schwinge <[EMAIL PROTECTED]> writes:

Hi Thomas,

> On request / suggestion / whatever ;-) of Marco I created the following
> patch.

Thanks a lot for doing this!

[...]

> The only remaining problem --- which only happens if building without
> having `grub-emu' enabled --- is the following one:

[...]

Is this fixed already by what Okuji proposed (and possibly committed)?

--
Marco



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

Reply via email to