[PATCH v2 1/3] python: Add Inferior.progspace property

[Eli Zaretskii]

> From: Simon Marchi <simon.marchi@ericsson.com>
> CC: Simon Marchi <simon.marchi@ericsson.com>
> Date: Wed, 12 Sep 2018 22:36:25 -0400
> 
> -@xref{Inferiors and Programs}.
> +@xref{Inferiors and Programs}.  This is identical to
> +@code{gdb.selected_inferior().progspace} (@pxref{Inferiors In Python}) and is
                                          ^
This brace should be deleted.

Otherwise, the documentation parts are OK.  Thanks.