Merge pull request #10611 from ldir-EDB0/bumpdns
authorRosen Penev <rosenp@gmail.com>
Wed, 27 Nov 2019 21:50:22 +0000 (13:50 -0800)
committerGitHub <noreply@github.com>
Wed, 27 Nov 2019 21:50:22 +0000 (13:50 -0800)
net/https-dns-proxy: Update to 2019-10-09


Trivial merge