chiark / gitweb /
remove RD_TIMESTAMP import