Auteur: intrigeri Date: À: The Tails public development discussion list Sujet: Re: [Tails-dev] Please review and merge
feature/remove-xul-ext-monkeysphere
anonym wrote (11 Dec 2012 15:44:22 GMT) : > Verified and merged!
Great. Have you got the ticket update ready to be pushed, or will you
do it, or should I?