Processing commands for [EMAIL PROTECTED]: > 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)
