Re: [PATCH 3/7 v3] gdb: Add command 'maint set/show debuginfod download-sections'

[Aaron Merey <amerey@redhat.com>]

Ping re. non-documentation parts of this patch

Thanks,
Aaron

On Wed, Aug 16, 2023 at 8:45 AM Eli Zaretskii <eliz@gnu.org> wrote:
>
> > From: Aaron Merey <amerey@redhat.com>
> > Cc: aburgess@redhat.com,
> >       Aaron Merey <amerey@redhat.com>,
> >       Eli Zaretskii <eliz@gnu.org>
> > Date: Wed, 16 Aug 2023 00:42:54 -0400
> >
> > v2: https://sourceware.org/pipermail/gdb-patches/2023-June/199983.html
> >
> > v3 updates some of the doc text.
> >
> > Commit message:
> >
> > This setting controls whether GDB may attempt to download ELF/DWARF
> > sections from debuginfod servers.
> >
> > This setting is enabled by default if gdb is built with debuginfod
> > section download support (requires libdebuginfod 0.188).
> >
> > Also update debuginfod command help text and gdb.texinfo with
> > information on section downloading and the new command.
> >
> > Reviewed-By: Eli Zaretskii <eliz@gnu.org>
> > Reviewed-By: Andrew Burgess <aburgess@redhat.com>
> > ---
> >  gdb/debuginfod-support.c | 63 ++++++++++++++++++++++++++++++++++++++--
> >  gdb/doc/gdb.texinfo      | 19 ++++++++++--
> >  2 files changed, 77 insertions(+), 5 deletions(-)
>
> Thanks, the documentation parts are okay.
>
> Reviewed-By: Eli Zaretskii <eliz@gnu.org>
>