[PING][PATCH v4] gdb/debuginfod: Ctrl-C asks to cancel further downloads

[Eli Zaretskii]

> From: Aaron Merey <amerey@redhat.com>
> Date: Thu, 22 Feb 2024 17:26:27 -0500
> Cc: Tom de Vries <tdevries@suse.de>
> 
> Ping

Sorry for missing this.  The documentation parts of this patch are
okay.

Reviewed-By: Eli Zaretskii <eliz@gnu.org>