Synopsis: RFA: patch to thread_db_kill
State-Changed-From-To: open->closed
State-Changed-By: drow
State-Changed-When: Sun Sep 2 04:17:02 2007
State-Changed-Why:
This bug was eventually fixed, by another patch.
http://sourceware.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gdb&pr=1127