Re: Bug #3812: Comments on patch

Sun, 10 Jun 2007 02:16:57 -0700 

Jürgen Spitzmüller wrote:
> On a second thought, you might be right. The attached patch does what you
> propose and works for me.
>
> OK to apply?

This patch also fixes bug 3160:
http://bugzilla.lyx.org/show_bug.cgi?id=3160

Jürgen

Reply via email to