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

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> user
Unknown command or malformed arguments to command.

> usertag 46397 mine
bug#46397: 27.1; Cannot delete buffer pointing to a file in a path that 
includes a file
User is matt@rfc20.org
There were no usertags set.
Usertags are now: mine.
> quit
Stopping processing here.

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

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