>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:
Michael> Jean-Marc Lasgouttes schrieb: >> I did not manage to reproduce the problem I saw and anyway I do not >> think they are introduced by the patch. Please go ahead. >> Committed as Michael> http://www.lyx.org/trac/changeset/19019 Thanks. JMarc
