Processed: Merging gide reports
Processing commands for control@bugs.debian.org:
> merge 133228 138039
Bug#133228: O: gide -- Gnome Integrated Development Environment
Bug#138039: O: gide -- Gnome Integrated Develoment Environment
Merged 133228 138039.
> retitle 138039 O: gide -- Gnome Integrated Development Environment
Bug#138039: O: gide -- Gnome Integrated Develoment Environment
Changed Bug title.
>
End of message, stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: