Re: [tor-dev] [Patch] or/eventdns.c