[PATCH v3 6/6] Rename python function thread_from_thread_handle to thread_from_handle

[Eli Zaretskii]

> Date: Wed, 20 Mar 2019 21:51:55 -0700
> From: Kevin Buettner <kevinb@redhat.com>
> Cc: Eli Zaretskii <eliz@gnu.org>
> 
> gdb/doc/ChangeLog:
> 
> 	* python.texi (Inferiors In Python): Rename
> 	Inferior.thread_from_thread_handle to Inferior.thread_from_handle.
> 	Add note about the former being deprecated.

This part is OK, with one comment:

> -@findex Inferior.thread_from_thread_handle

Please don't remove this index entry, it will be useful for someone
who sees code which uses the deprecated name and wants to know what
that is.

Thanks.