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


Trivial merge