[PATCHv2 6/7] gdb/maint: add core file name to 'maint info program-spaces' output

[Eli Zaretskii]

> Date: Sun,  2 Oct 2022 18:04:47 +0100
> From: Andrew Burgess via Gdb-patches <gdb-patches@sourceware.org>
> 
> Each program space can have an associated core file.  Include this
> information in the output of 'maint info program-spaces'.
> ---
>  gdb/NEWS            |  4 ++++
>  gdb/doc/gdb.texinfo |  8 ++++++--
>  gdb/progspace.c     | 18 ++++++++++++++++--
>  3 files changed, 26 insertions(+), 4 deletions(-)

Thanks, the documentation parts are OK.