Am Mon, 17 Jul 2023 15:46:34 +0200 (CEST) schrieb Juergen Spitzmueller <sp...@lyx.org>:
> commit f6f936e3d049c05ad0795c32696df895d8b61313 > Author: Juergen Spitzmueller <sp...@lyx.org> > Date: Mon Jul 17 16:58:04 2023 +0200 > > Support protected and thin space in simple search (#12836) Thanks. Kornel
pgpiaSVrj9D3J.pgp
Description: Digitale Signatur von OpenPGP
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel