chiark / gitweb /
remove old error message