Merge pull request #12596 from stangri/master-https-dns-proxy
authorRosen Penev <rosenp@gmail.com>
Thu, 25 Jun 2020 21:22:02 +0000 (14:22 -0700)
committerGitHub <noreply@github.com>
Thu, 25 Jun 2020 21:22:02 +0000 (14:22 -0700)
https-dns-proxy: bugfix: remove eDNS support


Trivial merge