Merge pull request #15219 from stangri/master-https-dns-proxy
authorRosen Penev <rosenp@gmail.com>
Mon, 22 Mar 2021 18:54:46 +0000 (11:54 -0700)
committerGitHub <noreply@github.com>
Mon, 22 Mar 2021 18:54:46 +0000 (11:54 -0700)
https-dns-proxy: support for additional Force DNS ports


Trivial merge