Am Dienstag, dem 30.01.2024 um 22:26 -0500 schrieb Richard Kimberly Heck: > > I would just ping him, most likely he just got busy with other > > stuff. > > I'd be happy to write him, if someone has an email address. Maybe if > he knew this was causing specific problems for us, he'd go ahead and > fix it. The patch looked good to me.
Yes, I am going to ping him today. -- Jürgen -- lyx-users mailing list lyx-users@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-users