Author: intrigeri Date: To: The Tails public development discussion list Subject: Re: [Tails-dev] Tails build system update
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.
