Approved.
Jeff, perhaps we should use the Debian packaging system way of closing bugs. In the changelog one can write: closes: #12345. The regular expression used by their system is the following:
/closes:\s*(?:bug)?\#?\s?\d+(?:,\s*(?:bug)?\#?\s?\d+)*/i
Debian has an archive maintenance script (katie) that takes care of closing bugs in the bug tracking system when a developer uploads a package with a closes: field in the changelog. We could write a similar script to do that for our bug-tracker. I would be happy to do that.
-Roberto
