A user running one of my mIRC scripts has reported the following problem:
/dns -h raw.githubusercontent.com
* Dns resolving raw.githubusercontent.com
* Dns unable to resolve address raw.githubusercontent.com
On my PC I get:
/dns -h raw.githubusercontent.com
* Dns resolving raw.githubusercontent.com
* Dns resolved raw.githubusercontent.com to 151.101.64.133, 151.101.0.133, 151.101.192.133, 151.101.128.133
I asked user to run separate IPv4 and IPv6 lookups:
/dns -4h raw.githubusercontent.com
[10:22] * Dns resolving raw.githubusercontent.com
[10:22] * Dns resolved raw.githubusercontent.com to 151.101.68.133
/dns -6h raw.githubusercontent.com
[10:22] * Dns resolving raw.githubusercontent.com
[10:22] * Dns unable to resolve address raw.githubusercontent.com
So apparently mIRC is not looking up DNS entries correctly on a PC with IPv6 internet connectivity.