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
