[tor-commits] [orbot/master] Merge pull request #135 from bitmold/prefs-improvements