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