Hi, bertagaz: > I forgot to merge the related branches in master when releasing this > build system changes. I've fixed that since then,
Thanks! Note we generally don't do code changes on the master branch (it's simply not its purpose): what I requested was merely to have the *doc* updated there. > as branches based on master were failing to build in Jenkins. FYI this is generally the case (I don't remember why) and not really a problem in practice AFAICT (nobody complained about it recently). > The doc should now be up-to-date. :) Cheers, -- intrigeri _______________________________________________ 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.