Build failed in Jenkins: Build branch "master" ?? ubuntu-xenial-qt4-autotools-extended #1990

Pavel Sanda sanda at lyx.org
Wed Jul 8 21:55:28 UTC 2020


On Wed, Jul 08, 2020 at 09:32:26PM +0200, Kornel Benko wrote:
> This patch fixes it.

Nice catch! Please commit. P


More information about the lyx-devel mailing list