Merge pull request #15717 from stangri/19.07-https-dns-proxy
authorRosen Penev <rosenp@gmail.com>
Sat, 29 May 2021 22:00:04 +0000 (15:00 -0700)
committerGitHub <noreply@github.com>
Sat, 29 May 2021 22:00:04 +0000 (15:00 -0700)
[19.07] https-dns-proxy: update to 2021-05-14-1; bugfixes for dhcp server backup


Trivial merge