Welcome David Sardari as #curl commit author 1290: github.com/curl/curl/pull/1437…
Point out DOH server IP pinning by duxsco · Pull Request #14377 · curl/curl
The IP address in the example is taken out of RFC 5737.GitHub