Re: [Tails-dev] [review'n'merge: 1.3.1] bugfix/9067-fix-tor-…
Català
Dansk
Deutsch
Ελληνικά
English
Español
suomi
Français
Galego
magyar
Italiano
日本語
Nederlands
Polski
Português
Português Brasileiro
Wiadomość jest częścią wątku:
pełne drzewo wątku posortowane wg daty
anonym at
2015-03-19 13:37
Autor:
intrigeri
Data:
2015-03-19 19:59
UTC
Dla:
The Tails public development discussion list
Temat:
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!