>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> Max Bian wrote: >> http://bugzilla.lyx.org/show_bug.cgi?id=490 >> >> Can any user or developer comment on this? Juergen> I am afraid it is only fixed in 1.3.0cvs Incidentally, JMarc, Juergen> I can provide a patch for 1.2.3, if that will be released at Juergen> all and there is interest. If you can do the patch, I'll apply it. Note that as of today, I do not think there will be a 1.2.3. But one never knows... JMarc
