chiark / gitweb /
Update explanation of best practice for closing bugs, seems to