WhisperSystems/TextSecure — pull request #956 by tinloaf (2014-03-03 12:24:59+00:00)
Title: Add possiblity to refresh the push directory directly from contact list

Fixes #835. Fixes #859.

I reused some strings from the Preferences activity for two reasons:
- duplicating them seemed wrong, I would rather go with renaming (and then using in both places)
- that would mess up current tranlsations, and since we're probably shortly before the release of an update, that would be stupid