Merge pull request #10753 from stangri/19.07-https-dns-proxy
authorRosen Penev <rosenp@gmail.com>
Thu, 19 Dec 2019 00:14:44 +0000 (16:14 -0800)
committerGitHub <noreply@github.com>
Thu, 19 Dec 2019 00:14:44 +0000 (16:14 -0800)
commitfff198e7ff04c070177bcd881c95043d3c0b797a
treeab3eb7a3faebbfb17bc162dd0e1aabd39d7fff71
parente3de8dd087387eaf5f6622513a4874042093f1bf
parenta84d8ddcef82f81bb2f578579596fc4837ab562d
Merge pull request #10753 from stangri/19.07-https-dns-proxy

[19.07] https-dns-proxy: switch to https-dns-proxy package name