Re: [sr-dev] dns resolver issue (RFC3263)