On Wed, Jul 08, 2020 at 09:32:26PM +0200, Kornel Benko wrote: > This patch fixes it.
Nice catch! Please commit. P -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
- Build failed in Jenkins: Build branch "master&qu... ci-lyx
- Re: Build failed in Jenkins: Build branch "... Jean-Marc Lasgouttes
- Re: Build failed in Jenkins: Build branch &q... Kornel Benko
- Re: Build failed in Jenkins: Build branc... Pavel Sanda
- Re: Build failed in Jenkins: Build b... Kornel Benko
- Re: Build failed in Jenkins: Bu... Kornel Benko
- Re: Build failed in Jenkins... Pavel Sanda
- Re: Build failed in Jen... Kornel Benko
- Build failed in Jenkins: Build branch "mast... ci-lyx
