Merge pull request #10754 from stangri/master-https-dns-proxy
authorHannu Nyman <hannu.nyman@iki.fi>
Wed, 18 Dec 2019 05:41:42 +0000 (07:41 +0200)
committerGitHub <noreply@github.com>
Wed, 18 Dec 2019 05:41:42 +0000 (07:41 +0200)
https-dns-proxy: switch to https-dns-proxy package name


Trivial merge