[Tails-dev] [review'n'merge:1.4.1] bugfix/9406-jenkins-build-in-clean-git

Hi, the proposed branch fixes build failures in Jenkins, that are caused by our build system refreshing the wiki (uh, twice) *before* merging the base branch. Please review'n'merge into stable and devel (the earlier it's done, the less Jenkins build failure noise we'll get :) Cheers, -- intrige

Re: [Tails-dev] [review'n'merge:1.4.1] bugfix/9406-jenkins-build-in-clean-git

On 05/15/2015 11:28 AM, intrigeri wrote: > Hi, > > the proposed branch fixes build failures in Jenkins, that are caused > by our build system refreshing the wiki (uh, twice) *before* merging > the base branch. > > Please review'n'merge into stable and devel (the earlier it's done, > the less Jenk