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

[Eli Zaretskii]

> Date: Thu, 21 Mar 2019 10:09:07 -0700
> From: Kevin Buettner <kevinb@redhat.com>
> Cc: Eli Zaretskii <eliz@gnu.org>
> 
> > > -@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.
> 
> I was wondering about that when I made the change.  I've restored the
> index entry in my local sources.  Here's what that part of it looks like
> now:

LGTM, thanks.