Am Mittwoch, dem 30.08.2023 um 15:29 +0200 schrieb Jürgen Spitzmüller: > > + if you could do me a favor and commit > > the few bits for UI tooltip and paragraph for users manual. > > Riki might by re-releasing soon and I'm not on my usual computer to > > push it. > > and this in a second step.
All in. -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
