chiark / gitweb /
stv: fix tiebreaks