Guillaume MM wrote: > What is this patch that fixes make distcheck? Can it be applied in master?
https://www.mail-archive.com/[email protected]/msg198636.html p
- Build failed in Jenkins: Build branch "master&... ci-lyx
- Build failed in Jenkins: Build branch "ma... ci-lyx
- Re: Build failed in Jenkins: Build branch ... Kornel Benko
- Re: Build failed in Jenkins: Build bra... Jean-Marc Lasgouttes
- Re: Build failed in Jenkins: Build... Christian Ridderström
- Re: Build failed in Jenkins: ... Christian Ridderström
- Re: Build failed in Jenki... Christian Ridderström
- Re: Build failed in Jenki... Christian Ridderström
- Re: Build failed in Jenki... Jean-Marc Lasgouttes
- Re: Build failed in Jenki... Guillaume MM
- Re: Build failed in Jenki... Pavel Sanda
- Re: Build failed in Jenki... Christian Ridderström
- Build failed in Jenkins: Build branch &quo... ci-lyx
- Build failed in Jenkins: Build branch ... ci-lyx
- Build failed in Jenkins: Build bra... ci-lyx
- Build failed in Jenkins: Buil... ci-lyx
- Build failed in Jenkins: ... ci-lyx
- Build failed in Jenkins: ... ci-lyx
- Build failed in Jenkins: ... ci-lyx
- Build failed in Jenkins: ... ci-lyx
- Build failed in Jenkins: ... ci-lyx
