[PATCH] On GNU/Linux, if the target reuses the TID of a thread that GDB still has in its list marked as THREAD_EXITED, GDB crashes, like:

[Pedro Alves]

Sorry, botched this post, ignore it.  Resent here:
https://sourceware.org/ml/gdb-patches/2015-03/msg00850.html

Thanks,
Pedro Alves