On 09/01/2018 03:34 PM, Jürgen Spitzmüller wrote: > Scott Kostyshak <skost...@lyx.org <mailto:skost...@lyx.org>> schrieb > am Sa., 1. Sep. 2018, 21:26: > > On Sat, Sep 01, 2018 at 01:47:54PM -0400, Richard Kimberly Heck wrote: > > > Another option for 2.3.1 would be to revert the commits that > fixed #9158. > > +1 The bug does not seem important enough to risk anything at this > point. > > > I'd vote for that, too. Let's try to get it right for 2.3.2.
OK, I'll plan to go that way. I'll issue new tarballs tomorrow probably. I have most of a patch at this point and will try to finish it over the weekend. Riki