anonym wrote (11 Apr 2014 12:37:04 GMT) : > Merged! Well, "Pushed!", actually since I forgot this step some days ago > when I did the actual review'n'merge. Sorry for the delay!
Thanks! Don't hesitate pushing to the repo on lizard too in such cases, so that our nightly builds reflect the current state of our code tree :) I've just done it, FTR. _______________________________________________ Tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev To unsubscribe from this list, send an empty email to [email protected].
