From: Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Date: Wed, 13 Jun 2012 22:01:12 GMT
Subject: Re: [PATCH] gitk: avoid Meta1-F5
Message-ID: <4FD90DA8.9080603@in.waw.pl>
In-Reply-To: <CAMP44s34CAKbSKd=xKT_zS7sDOQCH-=9gXswdhmYhjFCTYPA8g@mail.gmail.com>

On 06/13/2012 05:00 PM, Felipe Contreras wrote:
> 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.
It's in git://ozlabs.org/~paulus/gitk, the place where gitk lives.

Zbyszek