[PATCH] gdb-add-index: disable debuginfod

[Aaron Merey]

On Fri, Feb 25, 2022 at 2:23 PM Tom Tromey <tom@tromey.com> wrote:
> Thank you.  This is ok.

Thanks Tom. Pushed as commit 18694ad5bddc.

Aaron