chiark / gitweb /
Remove unused variables relating to poll.