Merge pull request #19708 from stangri/openwrt-22.03-https-dns-proxy
authorStan Grishin <stangri@melmac.ca>
Sat, 5 Nov 2022 02:05:16 +0000 (19:05 -0700)
committerGitHub <noreply@github.com>
Sat, 5 Nov 2022 02:05:16 +0000 (19:05 -0700)
[22.03] https-dns-proxy: rename options


Trivial merge