anonym wrote (19 May 2014 17:25:51 GMT) : >> Ah shit, I forgot that. Fixed in 98605bf that I merged myself into devel.
> You've pushed the feature branch with this commit, but not the merge > into devel. Done. _______________________________________________ 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].
