Re: [PATCH] Bug 3477: Annoying Shortcut Issue with Converters

[José Matos]

On Thursday 14 June 2007 19:13:18 Richard Heck wrote:
> The attached simple patch addresses this bug. The problem is detailed
> there: http://bugzilla.lyx.org/show_bug.cgi?id=3477.
>
> OK to commit?
>
> Richard

OK.

-- 
José Abílio