[Tails-dev] jvoisin's feature/better_task

Auteur: intrigeri
Datum:
Aan: The Tails public development discussion list
Oude Onderwerpen: [Tails-dev] Patches
Onderwerp: [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.

Cheers,
--
intrigeri
| GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc
| OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc

Deze boodschap maakt deel uit van devolgende draad:
	de volledige draad-boom gesorteerd op datum

[Tails-dev] jvoisin's feature/better_task_manager [Was: Patc…