Merge pull request #15715 from stangri/master-https-dns-proxy
authorRosen Penev <rosenp@gmail.com>
Sat, 29 May 2021 21:59:59 +0000 (14:59 -0700)
committerGitHub <noreply@github.com>
Sat, 29 May 2021 21:59:59 +0000 (14:59 -0700)
https-dns-proxy: update to 2021-05-14-1; bugfixes for dhcp server backup


Trivial merge