[valgrind] [Bug 434035] vgdb might crash if valgrind is killed

[Philippe Waroquiers]

https://bugs.kde.org/show_bug.cgi?id=434035

--- Comment #1 from Philippe Waroquiers <philippe.waroqui...@skynet.be> ---
Patch looks ok to me.

-- 
You are receiving this mail because:
You are watching all bug changes.