Processed (with 1 errors): control message for bug #4137

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> reopen 4137
Bug #4137 {Done: Lars Ingebrigtsen <larsi@gnus.org>} [emacs] 23.1.50; vc-dir 
waits instead of error message
Failed to reopen 4137: can't find location for 4137.

> tags 4137 - fixed patch
Bug #4137 {Done: Lars Ingebrigtsen <larsi@gnus.org>} [emacs] 23.1.50; vc-dir 
waits instead of error message
Ignoring request to alter tags of bug #4137 to the same tags previously set
> quit
Stopping processing here.

Please contact help-debbugs@gnu.org if you need assistance.

GNU bugs database, http://debbugs.gnu.org/