Protocol for reopening bugs

["David Z. Maze" <dmaze@MIT.EDU>]

I submitted a bug.  The developer closed it, IMO in error.  So I'd
like to reopen the bug.  Should I:

(a) Find the magic nnnn-foo@bugs.debian.org address and send mail to
    it to reopen the bug?  The available documentation doesn't suggest 
    that one of these exists.

(b) Send a reopen command to control@bugs, put explanatory text after
    the "thanks" command, and cc nnnn@bugs?

(c) Send a reopen command to control@bugs, and send a separate
    explanatory message to nnnn@bugs?

TIA...

-- 
David Maze             dmaze@mit.edu          http://www.mit.edu/~dmaze/
"Theoretical politics is interesting.  Politicking should be illegal."
	-- Abra Mitchell