On Wednesday 15 October 2008 19:45:20 Andre Poenitz wrote: > On Wed, Oct 15, 2008 at 08:20:46PM +0200, Andre Poenitz wrote: > > The attached patch fixes http://bugzilla.lyx.org/show_bug.cgi?id=4917 . > > > > Ok to apply?
It seems reasonable. +1 > Grmpf. As usual. > > Andre' -- José Abílio