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). _______________________________________________ tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev
