Re: [PATCH] gitk: avoid Meta1-F5

From: Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Date: Jun 13, 2012, 22:01 UTC
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:

Show 11 quoted lines

> 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