Merge pull request #19707 from stangri/master-https-dns-proxy
authorStan Grishin <stangri@melmac.ca>
Sat, 5 Nov 2022 02:05:08 +0000 (19:05 -0700)
committerGitHub <noreply@github.com>
Sat, 5 Nov 2022 02:05:08 +0000 (19:05 -0700)
commit33360933616c813f8ce5bdd32a3ce5ba74532d10
tree560b21e2f795165f31709b2a21310f020ab62596
parente70844a9ca327b98eb33d1c9a3cce987cc91a190
parent6bd055284c4f1f633e3d1cd857dc14adbe27c2f5
Merge pull request #19707 from stangri/master-https-dns-proxy

https-dns-proxy: rename options