> Bernhard Reiter wrote: > > *ping* > > I'm sorry, I'm quite busy ATM. > > > Should I post it to bugzilla so it doesn't get lost? > > Yes, please. And try to get somebody else to look at it (and commit > it). I'm > fine with the patch (AFAICT from the quick look I had).
anyone? ( see http://bugzilla.lyx.org/show_bug.cgi?id=995 and http://thread.gmane.org/gmane.editors.lyx.devel/100067 ) Bernhard
