[tor-commits] [orbot/master] Merge pull request #219 from bitmold/delete_minimalperm_manifest