Hi, intrigeri wrote (26 Jul 2014 11:00:59 GMT) : > If nobody has time to handle this review'n'merge within 3 days, I'll > merge it myself, to unblock the development process.
This is too much of a pain for all the people currently trying to build Tails for the first time (the build process doc and tools are buggy enough not to add more stumbling blocks: #7661), so I've merged this branch, after Jacob reported successful tests. The commit in itself is trivial, and we've gone through this many times already, so not much room for mistakes. Cheers, -- intrigeri _______________________________________________ Tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev To unsubscribe from this list, send an empty email to [email protected].
