[tor-commits] [orbot/master] Merge pull request #562 from guardianproject/empty_notification