From: Paul Mackerras Date: Wed, 25 Apr 2012 03:45:44 GMT Subject: Re: [PATCH] gitk: avoid Meta1-F5 Message-ID: <20120425034544.GA9660@bloggs.ozlabs.ibm.com> In-Reply-To: <1333758578-9334-1-git-send-email-felipe.contreras@gmail.com> 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 Thanks, applied. Paul.