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

Eli Zaretskii
2011-09-19T10:38:48Z

> From: Kevin Pouget <kevin.pouget@gmail.com>
> Date: Mon, 19 Sep 2011 12:15:56 +0200
> Cc: Eli Zaretskii <eliz@gnu.org>, gdb-patches@sourceware.org
>
> +An integer representing the exit code, if available, which the inferior
> +has returned. (The exit code could be unavailable if, for example,
> +@value{GDBN} detaches from the inferior.) If the exit code is unavailable,
> +the attribute does not exist. ^^

One more space there, please.

Otherwise, fine with me.