Merge pull request #3825 from aarond10/patch-2
authorHannu Nyman <redacted>
Thu, 12 Jan 2017 11:05:49 +0000 (13:05 +0200)
committerGitHub <redacted>
Thu, 12 Jan 2017 11:05:49 +0000 (13:05 +0200)
https-dns-proxy: Fix wrong commandline argument


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