2018-05-15 20:44 GMT+02:00 Richard Kimberly Heck <rikih...@lyx.org>: > I take it that your patch essentially reverts the one I mentioned above. > I'm happy for it to be reverted at this point. >
Done at e077255aea9d8. 2.3.2? Jürgen > > As far as the larger issues you mentioned are concerned, let's ponder > those. > > Riki > >
