The issue is not fixed at all. The (vanilla) Minecraft client does not query the DNS recursor for SRV records.
A look at the DNS queries (using Wireshark) shows that the current Minecraft client only queries for AAAA- and A-records but not for SRV-records.
Mojang, please fix it finally!
Technical details:
Minecraft version: 1.5.1
Oracle JRE version: 1.7.0_21 (x64)
Operating system: Ubuntu 10.04 x64
$ dig +short SRV _minecraft._tcp.whatevercraft.com
0 5 25565 server.whatevercraft.com.
$ dig +short A server.whatevercraft.com
46.228.200.240
I'm sorry for that. It's the first time I use this page and I wasn't sure if a comment will be seen, because in MC-6941 Jon Atkins got no reply to his answer. Won't happen again.