Am Donnerstag, dem 16.05.2024 um 10:00 +0200 schrieb Jean-Marc Lasgouttes: > If the situation is too annoying, I can revert it.
No pressure from my side. I can live with it. Just wanted to bring it to your attention. -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel