Scott Kostyshak <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. Jürgen > Scott >
