Merge pull request #10754 from stangri/master-https-dns-proxy
authorHannu Nyman <redacted>
Wed, 18 Dec 2019 05:41:42 +0000 (07:41 +0200)
committerGitHub <redacted>
Wed, 18 Dec 2019 05:41:42 +0000 (07:41 +0200)
https-dns-proxy: switch to https-dns-proxy package name


Trivial merge
git clone https://git.99rst.org/PROJECT