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

Wed Jul 8 22:21:05 UTC 2020

Am Wed, 8 Jul 2020 23:55:28 +0200
schrieb Pavel Sanda <sanda at 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 488 bytes
Desc: Digitale Signatur von OpenPGP
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20200709/fe31ad81/attachment.asc>