[PATCH] PR/12691 Add the inferior to Python exited event

[Eli Zaretskii]

> From: Kevin Pouget <kevin.pouget@gmail.com>
> Date: Thu, 21 Apr 2011 05:18:39 -0400
> 
> 2011-04-21  Kevin Pouget  <kevin.pouget@st.com>
> 
>         PR python/12691: Add the inferior to Python exited event
>         * gdb.texinfo (Events In Python): Describe exited inferior attribute.

This part is okay.