On 05/16/2018 02:36 AM, Jürgen Spitzmüller wrote: > 2018-05-15 20:44 GMT+02:00 Richard Kimberly Heck <rikih...@lyx.org > <mailto: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?
Yes, that will be fine. Riki