[debbugs-tracker] Processed: control message for some doc bugs

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> retitle 13490 Emacs manual doesn't explain what a "toolkit" is
Bug #13490 [emacs] toolkit, toolkit, who's got the toolkit?
Changed bug title to 'Emacs manual doesn't explain what a "toolkit" is' from 
'toolkit, toolkit, who's got the toolkit?'
> user emacs
Setting user to emacs (was address@hidden).
> usertag 13490 documentation
bug#13490: Emacs manual doesn't explain what a "toolkit" is
There were no usertags set.
Usertags are now: documentation.
> usertag 13401 documentation
bug#13401: 24.2.92; Mail mode in Emacs FAQ
There were no usertags set.
Usertags are now: documentation.
> usertag 13343 documentation
bug#13343: 24.3.50; give examples using `gv-define-expander' and `gv-letplace'
There were no usertags set.
Usertags are now: documentation.
> quit
Stopping processing here.

Please contact address@hidden if you need assistance.

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