[PATCH v2 5/5] Documentation for python method InferiorThread.thread_handle

[Eli Zaretskii]

> Date: Wed, 27 Feb 2019 19:35:00 -0700
> From: Kevin Buettner <kevinb@redhat.com>
> 
> gdb/doc/ChangeLog:
> 
> 	* python.texi (Threads In Python): Add description for method
> 	InferiorThread.thread_handle.

OK, thanks.