chiark / gitweb /
poll: Avoid duplicate array index counting