Συντάκτης: intrigeri Ημερομηνία: Προς: The Tails public development discussion list Παλιά Θέματα: [Tails-dev] Patches Αντικείμενο: [Tails-dev] jvoisin's feature/better_task_manager [Was: Patches]
Hi,
jvoisin wrote (15 Jul 2013 17:53:11 GMT) : > feature/better_task_manager : split the "replace truecrypt" bug
Merged, thanks. A few fixes were then piled on top of it.
