kernel.org dns broken

[tony.mccrory at gmail.com (Tony McCrory)]

On 8 September 2011 23:44, Atticus <grobe0ba at gmail.com> wrote:
> I can't resolve anything for kernel.org from Verizon's 3G network, or from
> HE in California. I'm using HE's nameservers, with Google's as a backup.
> Neither of them have any records. Anyone know what's up?

Strange one.

Also fails with my ISP (BE*There in the UK), but, org. nameservers have it fine:

$ dig kernel.org @c0.org.afilias-nst.info.

; <<>> DiG 9.6.-ESV-R3 <<>> kernel.org @c0.org.afilias-nst.info.
;; global options: +cmd
;; Got answer:
;; ->>HEADER<<- opcode: QUERY, status: NOERROR, id: 32885
;; flags: qr rd; QUERY: 1, ANSWER: 0, AUTHORITY: 2, ADDITIONAL: 3
;; WARNING: recursion requested but not available

;; QUESTION SECTION:
;kernel.org.                    IN      A

;; AUTHORITY SECTION:
kernel.org.             86400   IN      NS      ns.vger.kernel.org.
kernel.org.             86400   IN      NS      ns4.kernel.org.

;; ADDITIONAL SECTION:
ns.vger.kernel.org.     86400   IN      A       209.132.180.67
ns4.kernel.org.         86400   IN      A       130.239.17.16
ns4.kernel.org.         86400   IN      AAAA    2001:6b0:e:4017::1:1

;; Query time: 40 msec
;; SERVER: 199.19.53.1#53(199.19.53.1)
;; WHEN: Thu Sep  8 22:46:33 2011
;; MSG SIZE  rcvd: 138