Merge pull request #19691 from stangri/master-https-dns-proxy
authorStan Grishin <redacted>
Mon, 24 Oct 2022 16:45:09 +0000 (09:45 -0700)
committerGitHub <redacted>
Mon, 24 Oct 2022 16:45:09 +0000 (09:45 -0700)
https-dns-proxy: bugfix: restore empty server; misc improvements


Trivial merge
git clone https://git.99rst.org/PROJECT