Re: [Tails-dev] [review'n'merge: 1.3.1] bugfix/9067-fix-tor-…

Delete this message

Reply to this message
Author: intrigeri
Date:  
To: The Tails public development discussion list
Subject: Re: [Tails-dev] [review'n'merge: 1.3.1] bugfix/9067-fix-tor-launcher-killer
anonym wrote (19 Mar 2015 13:37:08 GMT) :
> Please merge into stable and devel.


merged, thanks!