Author: anonym Date: To: The Tails public development discussion list Subject: Re: [Tails-dev] Please review and merge
feature/remove-xul-ext-monkeysphere
11/12/12 17:19, intrigeri wrote: > 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?
Don't worry, it's pushed now (just waited with the push until all my
merges were done).