We already point people at the NTP pool:
$ cat /etc/ntp.conf ... server 0.ubuntu.pool.ntp.org server 1.ubuntu.pool.ntp.org server 2.ubuntu.pool.ntp.org server 3.ubuntu.pool.ntp.org ...
We already point people at the NTP pool:
$ cat /etc/ntp.conf pool.ntp. org pool.ntp. org pool.ntp. org pool.ntp. org
...
server 0.ubuntu.
server 1.ubuntu.
server 2.ubuntu.
server 3.ubuntu.
...