| Sat, 11 Apr 2009 22:58:19 +0000 | Sverre Rabbelier | Use key().id_or_name() instead of key().name() | file | diff | annotate |
| Sat, 11 Apr 2009 12:27:41 +0000 | Sverre Rabbelier | When ranking, put them at or above the given rank | file | diff | annotate |
| Fri, 10 Apr 2009 15:22:38 +0000 | Lennard de Rijk | Removed TODO that has been completed in r2876. | file | diff | annotate |