Hi,
On Aug/13/2008, Marco Gerards wrote: > Hi, > > Carles Pina i Estany <[EMAIL PROTECTED]> writes: > > [...] > > > 2008-08-06 Carles Pina i Estany <[EMAIL PROTECTED]> > > > > * menu/normal.c (run_menu): Add Home and End keys in grub-menu. > > > This looks fine to me at first sight. Do others have problems with > this? Otherwise it can be committed. after this comment, Robert and Javier comments, feel free (somebody) to commit it (I cannot commit, so I will not commmit :-) -just in case somebody is expecting that I commit myself) The message with the patch: http://lists.gnu.org/archive/html/grub-devel/2008-08/msg00171.html Thanks, -- Carles Pina i Estany GPG id: 0x17756391 http://pinux.info _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
