chiark / gitweb /
timedate: handle more nicely if something or somebody keeps open /dev/rtc and thus...