Processed: Re: Bug#414517: Bug closing documentation needs clarification

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> reassign 414517 bugs.debian.org
Bug#414517: Bug closing documentation needs clarification
Bug reassigned from package `debbugs' to `bugs.debian.org'.

> severity 414517 wishlist
Bug#414517: Bug closing documentation needs clarification
Severity set to `wishlist' from `normal'

> tag 414517 moreinfo
Bug#414517: Bug closing documentation needs clarification
There were no tags set.
Tags added: moreinfo

> retitle 414517 [documentation] who can close bugs needs clarification
Bug#414517: Bug closing documentation needs clarification
Changed Bug title.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)