chiark / gitweb /
timesyncd: don't reset polling interval when reselecting server