Re: [PATCH] gitk: avoid Meta1-F5

From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Jun 13, 2012, 22:36 UTC
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:

Show 13 quoted lines

> 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