[tor-commits] [spec/master] Merge pull request #33 from TheTorProject/feature/dns_injection