> Nameserver changes take time to propagate to corners of the net
> -- sometimes up to a week or so.  Be patient.

This all depends on the timeout values set, of course.

> 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
note that the TTL for sun-lamp.cs.berkeley.edu's A record is set
to 1 hour and the refersh timer for cs.berkeley.edu is also 1
hours, so when the A record is updated it will take a maximum of
two hours to propagate to the rest of the net.

- H=E5vard