From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Wed, 13 Jun 2012 15:00:30 GMT
Subject: Re: [PATCH] gitk: avoid Meta1-F5
Message-ID: <CAMP44s34CAKbSKd=xKT_zS7sDOQCH-=9gXswdhmYhjFCTYPA8g@mail.gmail.com>
In-Reply-To: <20120425034544.GA9660@bloggs.ozlabs.ibm.com>

On Wed, Apr 25, 2012 at 5:45 AM, Paul Mackerras <paulus@samba.org> wrote:
> On Sat, Apr 07, 2012 at 03:29:38AM +0300, Felipe Contreras wrote:
>> This is commonly mapped by window managers and what not. Use Shift-F5
>> instead.
>>
>> Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
>
> Thanks, applied.

Does this translate into some action? I still don't see this change in
Junio's tree.

Cheers.

-- 
Felipe Contreras