Processed: retitle 408085 to O: gnome-doc-tools -- Tools, stylesheets and DTDs for GNOME
Processing commands for control@bugs.debian.org:
> retitle 408085 O: gnome-doc-tools -- Tools, stylesheets and DTDs for GNOME
Bug#408085: RFA: gnome-doc-tools -- Tools, stylesheets and DTDs for GNOME.
Changed Bug title to `O: gnome-doc-tools -- Tools, stylesheets and DTDs for GNOME' from `RFA: gnome-doc-tools -- Tools, stylesheets and DTDs for GNOME.'.
>
End of message, stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: