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

Supprimer ce message

Répondre à ce message
Auteur: intrigeri
Date:  
À: tails-dev
Sujet: [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,
--
intrigeri