From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Wed, 13 Jun 2012 22:36:32 GMT
Subject: Re: [PATCH] gitk: avoid Meta1-F5
Message-ID: <CAMP44s0mgEUjA5E2hFcMewXU+mGbh512+o5wShBqm2cVns3KBA@mail.gmail.com>
In-Reply-To: <4FD90DA8.9080603@in.waw.pl>

On Thu, Jun 14, 2012 at 12:01 AM, Zbigniew Jędrzejewski-Szmek
<zbyszek@in.waw.pl> wrote:
> 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.

So what is this?
http://git.kernel.org/?p=git/git.git;a=blob;f=gitk-git/gitk

-- 
Felipe Contreras