chiark / gitweb /
[PATCH] remove some items off of the TODO list, as they are now done.