>> If the DNS change was made properly (serial numbers were
>> incremented, etc.), it should happen soon.

>Nah, the primary name server for cs.berkeley.edu is still
>emitting the old address.  Seems it's not been updated yet.  I

I did some digging, and it appears he's right.  I don't see any
nameservers close to the two sites (Berkeley and MIT) who have it as
anything other than sun-lamp (with a Berkeley IP address).

Maybe someone DID forget to increment the serial number after changing
the DNS record.  (Assuming a DNS record was changed in the first
place.)

-----------------------------------------------------------------------------
  Michael L. VanLoon                                 michaelv@HeadCandy.com
       --<  Free your mind and your machine -- NetBSD free un*x  >--
     NetBSD working ports: 386+PC, Mac, Amiga, HP300, Sun3, Sun4, PC532,
                           DEC pmax (MIPS R2k/3k), DEC/AXP (Alpha)
     NetBSD ports in progress: VAX and others...
-----------------------------------------------------------------------------