Merge pull request #5970 from jemyzhang/master
authorHannu Nyman <hannu.nyman@iki.fi>
Fri, 27 Apr 2018 07:38:44 +0000 (10:38 +0300)
committerGitHub <noreply@github.com>
Fri, 27 Apr 2018 07:38:44 +0000 (10:38 +0300)
net/https-dns-proxy: Update to 2018-04-23


Trivial merge