On Sun, Apr 2, 2023 at 12:52 PM Jürgen Spitzmüller <jspi...@gmail.com> wrote: > > Please try again with current master. >
Can confirm it is working now. Thanks, Udi > -- > lyx-devel mailing list > lyx-devel@lists.lyx.org > http://lists.lyx.org/mailman/listinfo/lyx-devel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel