Am Wed, 8 Jul 2020 23:55:28 +0200 schrieb Pavel Sanda <sa...@lyx.org>:
> On Wed, Jul 08, 2020 at 09:32:26PM +0200, Kornel Benko wrote:
> > This patch fixes it.
>
> Nice catch! Please commit. P
OK, done.
Kornel
pgpvPeZG_UN19.pgp
Description: Digitale Signatur von OpenPGP
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
