Author: intrigeri Date: To: The Tails public development discussion list Subject: Re: [Tails-dev] Please review (and merge?)
feature/better_power_off_button
intrigeri wrote (30 Nov 2012 13:30:13 GMT) : > Awesome!
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).
