1. 2018-01-23 Re: [tor-dev] tor failing to resolve some dns records tor-dev Roger Dingledine 2. 2018-01-23 Re: [tor-dev] tor failing to resolve some dns records tor-dev nusenu 3. 2018-01-16 [tor-dev] tor failing to resolve some dns records tor-dev blaze glory