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 Jenkins build failure noise we'll get :)

I missed this one somehow. Merged now!

Cheers!

_______________________________________________
Tails-dev mailing list
Tails-dev@boum.org
https://mailman.boum.org/listinfo/tails-dev
To unsubscribe from this list, send an empty email to 
tails-dev-unsubscr...@boum.org.

Reply via email to