>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> http://bugzilla.lyx.org/show_bug.cgi?id=2675 A trivial one. I Juergen> wonder why this was undetected so long. Juergen> OK for branch and trunk? Definitely. I vaguely planned to look at it, but I am glad you did it. JMarc
