grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Home-End keys in menu


From: Carles Pina i Estany
Subject: Re: [PATCH] Home-End keys in menu
Date: Sat, 16 Aug 2008 20:51:38 +0200
User-agent: Mutt/1.5.18 (2008-05-17)


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,

-- 
Carles Pina i Estany            GPG id: 0x17756391
        http://pinux.info




reply via email to

[Prev in Thread] Current Thread [Next in Thread]