[tor-commits] [orbot/master] Merge pull request #137 from bitmold/patch-3