Re: [Tails-dev] Please review (and merge?) feature/better_po…

Delete this message

Reply to this message
Autor: intrigeri
Data:  
A: The Tails public development discussion list
Assumpte: Re: [Tails-dev] Please review (and merge?) feature/better_power_off_button
Hi,

anonym wrote (11 Dec 2012 14:30:47 GMT) :
> 02/12/12 21:24, intrigeri wrote:


>> Just to make sure it's not forgotten: some user doc probably needs to
>> be updated accordingly, before we can merge the branch (e.g.
>> the general Desktop presentation page, IIRC).


> This has now been done (commit 4d07192). Please review and merge!


Great, merged!

I did not update the ticket: it's still tagged todo/discuss, so it's
not a simple todo/qa -> pending, so I'll let you update / split the
remaining bits out into more appropriate tickets if needed, and tag
the main ticket as pending once done.

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