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

Delete this message

Reply to this message
Συντάκτης: anonym
Ημερομηνία:  
Προς: The Tails public development discussion list
Αντικείμενο: [Tails-dev] [review'n'merge: 1.3.1] bugfix/9067-fix-tor-launcher-killer
Hi,

Please merge into stable and devel.

Cheers!