[PATCH, doc RFA] New attribute "progspace" for python gdb.Objfile objects

[Eli Zaretskii]

> From: Doug Evans <dje@google.com>
> Date: Mon, 13 Oct 2014 15:10:17 -0700
> 
> This patch adds a new attribute "progspace" for python gdb.Objfile objects.
> 
> While one could just always use gdb.current_progspace(), having to refer
> to global state is generally a no-no in an API.  The progspace is
> recorded with the objfile, this patch exposes it.
> 
> Regression tested on amd64-linux.
> 
> 2014-10-13  Doug Evans  <dje@google.com>
> 
> 	* NEWS: Mention new gdb.Objfile.progspace attribute.
> 	* python/py-objfile.c (objfpy_get_progspace): New function.
> 	(objfile_getset): New entry for "progspace".
> 
> 	doc/
> 	* python.texi (Objfiles In Python): Document new progspace attribute.
> 
> 	testsuite/
> 	* gdb.python/py-objfile.exp: Test progspace attribute.

OK for the documentation parts.

Thanks.