[PATCH] [gdb] Fix maint print symbols/psymbols help text

[Eli Zaretskii]

> Date: Mon, 14 Aug 2023 14:48:10 +0200
> Cc: gdb-patches@sourceware.org
> From: Tom de Vries <tdevries@suse.de>
> 
> So how about:
> ...
>      If ADDRESS is provided, dump only the symbols for the file with 
> code at that address.
> ...
> ?

Perfect, thanks.