[pull] master from m13253:master#86

pull[bot] merged 2 commits intomingaldrichgan:mastermingaldrichgan/dns-over-https:masterfrom

m13253:masterm13253/dns-over-https:masterCopy head branch name to clipboard