Re: [PATCH] Improve clear command's documentation

Eli Zaretskii via Gdb-patches
2022-05-31T13:42:41Z

> Date: Tue, 31 May 2022 14:04:00 +0100
> Cc: gdb-patches@sourceware.org
> From: Pedro Alves <pedro@palves.net>
>
> > WDYT?
> >
>
> I like this a lot. Will you merge it, or shall I?

I'd prefer that you did, if you don't mind, so that all the changes
would be together, or close.

Thanks.