On Fri, Mar 29, 2019 at 09:11:26AM +0100, Jürgen Spitzmüller wrote: > I have fixed it now.
The distcheck really pass on your clean tree now? P
- Build failed in Jenkins: Build branch "master&qu... ci-lyx
- Re: Build failed in Jenkins: Build branch "... Pavel Sanda
- Re: Build failed in Jenkins: Build branch &q... Guenter Milde
- Re: Build failed in Jenkins: Build branc... Jürgen Spitzmüller
- Re: Build failed in Jenkins: Build b... Pavel Sanda
- Re: Build failed in Jenkins: Bu... Jürgen Spitzmüller
- Re: Build failed in Jenkins... Pavel Sanda
- Re: Build failed in Jenkins: Build b... Guenter Milde
- Build failed in Jenkins: Build branch "mast... ci-lyx
