On Thu, Jan 4, 2018 at 4:27 PM, Jürgen Spitzmüller <sp...@lyx.org> wrote:
> Am Mittwoch, den 03.01.2018, 16:47 -0500 schrieb Scott Kostyshak: > > I'm not sure if you're asking me or if you are double-checking with > > JMarc. > > Both, actually. > > > If you're asking me, I'm fine with it. > > JMarc? (others?) > No objection here, the change produces behavior that seems more appropriate to me than what existed before. - Joel
