>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> This trivial patch fixes bug 2716 which was just reported on Georg> the users list: http://bugzilla.lyx.org/show_bug.cgi?id=2716 This got applied to the 1.4 branch. JMarc
>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> This trivial patch fixes bug 2716 which was just reported on Georg> the users list: http://bugzilla.lyx.org/show_bug.cgi?id=2716 This got applied to the 1.4 branch. JMarc