Processing commands for control@bugs.debian.org: > owner 631742 hector.oron@gmail.com Bug #631742 [wnpp] O: gdb-doc -- The GNU Debugger Documentation Owner recorded as hector.oron@gmail.com. > 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