Re: [patch] fix bug 5138

[Martin Vermeer]

On Thu, Aug 07, 2008 at 11:35:18PM +0200, Uwe Stöhr wrote:
>  See http://bugzilla.lyx.org/show_bug.cgi?id=5138
> 
>  regards Uwe

small patch...

Martin