Make DNS records and queries case-insensitive#2394

Merged

euanh merged 1 commit intomoby:masterfrom arkodg:dns-lookup-case-insensitive

Jun 20, 2019

+29-20

Commits on Jun 19, 2019

Make DNS records and queries case-insensitive
Arko Dasgupta
committed