On Fri, Sep 09, 2016 at 12:04:47PM +0200, Enrico Forestieri wrote: > On Fri, Sep 09, 2016 at 07:05:52AM +0000, Guenter Milde wrote: > > > I would appreciate if you could fix it. > > See http://www.lyx.org/trac/ticket/9616 > > This is your hitch. I am not motivated in scratching it.
I did it at cb709469, anyway. -- Enrico
