Merge pull request #10752 from stangri/18.06-https-dns-proxy
authorRosen Penev <rosenp@gmail.com>
Thu, 19 Dec 2019 00:14:35 +0000 (16:14 -0800)
committerGitHub <noreply@github.com>
Thu, 19 Dec 2019 00:14:35 +0000 (16:14 -0800)
[18.06] https-dns-proxy: switch to https-dns-proxy package name


Trivial merge