Processed: retitle 631742 to ITA: gdb-doc -- The GNU Debugger Documentation
Processing commands for control@bugs.debian.org:
> retitle 631742 ITA: gdb-doc -- The GNU Debugger Documentation
Bug #631742 [wnpp] O: gdb-doc -- The GNU Debugger Documentation
Changed Bug title to 'ITA: gdb-doc -- The GNU Debugger Documentation' from 'O: gdb-doc -- The GNU Debugger Documentation'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
631742: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=631742
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: