chiark / gitweb /
[PATCH] Remove a few items from the TODO list that are already done.