Hi, On Dec/12/2009, Carles Pina i Estany wrote:
> We should fix it. We have three options (maintaining the current
> behaviour for the user):
>
>
> a) simple_patch (just swapping that two lines)
After talking with Robert last night and for the time being I've
committed the simple one (r1933) to fix the current bug.
--
Carles Pina i Estany
http://pinux.info
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel
