Am Donnerstag, 10. November 2005 16:14 schrieb Jean-Marc Lasgouttes: > >>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes: > > Martin> And do we have a consensus-of-sorts on the attached? > > I think it is OK, but I have not followed the discussion very closely.
It is the right fix IMO. Can it go in? BTW, this is now http://bugzilla.lyx.org/show_bug.cgi?id=2140 Georg
