Re: [PATCH] Home-End keys in menu

[Felix Zielcke]

Commited.

Am Samstag, den 16.08.2008, 20:51 +0200 schrieb Carles Pina i Estany:
> 
> Hi,
> 
> On Aug/13/2008, Marco Gerards wrote:
> > Hi,
> > 
> > Carles Pina i Estany <address@hidden> writes:
> > 
> > [...]
> > 
> > > 2008-08-06  Carles Pina i Estany  <address@hidden>
> > >
> > >   * 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,
>