Following the instructions at http://www.debian.org/Bugs/Reporting I filed a couple of bugs. Now one of them has been resolved, how can I report this and therefore close the bug? I don't see the answer anywhere in the documentation. Cheers -A