chiark / gitweb /
[PATCH] more database work. Now we only store the info we really need right now.