Re: [PATCH v4] gdb/manual: Introduce location specs

Eli Zaretskii via Gdb-patches
2022-05-28T07:43:29Z

> Date: Fri, 27 May 2022 20:30:06 +0100
> Cc: gdb-patches@sourceware.org
> From: Pedro Alves <pedro@palves.net>
>
> On 2022-05-27 20:00, Eli Zaretskii wrote:
>
> > What I was talking about was not about using the location specs, it
> > was about explaining what it is and how it differs from the code
> > location. I think we have to explain the terminology before we use
> > it, since it is not entirely trivial.
>
> OK, here's what I added on top of v4, locally. WDYT?

LGTM, so I think this can go in, given the results of my review of the
rest of the patch (see my other message) are taken care of.

I will re-read this section after the changes are pushed, and decide
whether any additional clarifications are needed; if so, I will make
those changes later.

Thanks.