Processed: make 723180's title more accurate
Processing commands for control@bugs.debian.org:
> retitle 723180 kernel oops with gdb record on -m32 executable
Bug #723180 [src:linux] linux-image-3.2.0-4-rt-amd64: kernel oops with futexes and gdb reverse-next
Changed Bug title to 'kernel oops with gdb record on -m32 executable' from 'linux-image-3.2.0-4-rt-amd64: kernel oops with futexes and gdb reverse-next'
>
End of message, stopping processing here.
Please contact me if you need assistance.
--
723180: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=723180
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: