Merge pull request #15715 from stangri/master-https-dns-proxy
authorRosen Penev <redacted>
Sat, 29 May 2021 21:59:59 +0000 (14:59 -0700)
committerGitHub <redacted>
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
git clone https://git.99rst.org/PROJECT