Comment 4 for bug 1656801

One comment on @philroche's patch: at present, there is no supported way to allow DHCP to augment (rather than replace) NTP servers in /etc/ntp.conf. The different handling of tabs & spaces is a known-useful workaround for those of us who wish to allow DHCP to specify additional servers, without removing those specified in /etc/ntp.conf. The patch would eliminate this option, and would allow only DHCP-specified servers OR /etc/ntp.conf servers, not both. Thus, my opinion is -1 for that patch as-is, and +1 for the upstream Debian version.