Comment 6 for bug 1125726

See also
https://bugs.launchpad.net/ubuntu/+source/ntp/+bug/288905
where I said:
  The way I read "man ntpd" (on Debian wheezy), we could (should?) replace ntpdate by
  "ntpd -q"; and if we are going to run ntpd then ntpdate is unnecessary anyway.
  If we have (or are going to have) ntpd, then we should simply skip /etc/network/if-up.d/ntpdate;
  seeing how that depends on NTPSERVERS in /etc/ntp.conf or somesuch, I do not see that
  /etc/network/if-up.d/ntpdate is ever any use.