Merge pull request #21631 from stangri/master-https-dns-proxy
authorStan Grishin <redacted>
Sun, 23 Jul 2023 15:52:51 +0000 (08:52 -0700)
committerGitHub <redacted>
Sun, 23 Jul 2023 15:52:51 +0000 (08:52 -0700)
https-dns-proxy: improve CLI messaging


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