>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:

Michael> Jean-Marc, Peter, I don't think this has been committed, yet.

It is in: http://www.lyx.org/trac/changeset/17044

JMarc

Reply via email to