[PATCH v4 06/10] python: Add clear() to gdb.Record.

[Eli Zaretskii]

> From: "Willgerodt, Felix" <felix.willgerodt@intel.com>
> CC: "Metzger, Markus T" <markus.t.metzger@intel.com>,
> 	"gdb-patches@sourceware.org" <gdb-patches@sourceware.org>
> Date: Wed, 11 May 2022 08:22:05 +0000
> 
> > > > If this is described in
> > > > another place in the manual, could you add a cross-reference to that
> > > > place?
> > > >
> > >
> > > I don't think it has been described yet, as clear() hasn't directly been
> > exposed
> > > before, only indirectly e.g. via "record stop". The "trace" is however
> > > mentioned e.g. here for "record btrace pt":
> > > https://sourceware.org/gdb/onlinedocs/gdb/Process-Record-and-
> > Replay.html
> > >
> > > Should I link that?
> > 
> > Yes, I think so.
> 
> I added it locally. Then I saw that this chapter at the top, a couple of
> lines above already links it. In my eyes this makes the extra link here
> redundant. Should I still add it?

No need, thanks.