Merge pull request #20052 from stangri/master-https-dns-proxy
authorStan Grishin <redacted>
Sun, 11 Dec 2022 03:32:03 +0000 (20:32 -0700)
committerGitHub <redacted>
Sun, 11 Dec 2022 03:32:03 +0000 (20:32 -0700)
https-dns-proxy: fix restart


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