Re: (ITS#5251) getaddrinfo might return duplicate results