[PATCH v4] gdb/manual: Introduce location specs

[Pedro Alves]

On 2022-05-28 08:43, Eli Zaretskii wrote:
>> 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.

Great, thanks!  I've addressed your review in the other email and
pushed the result.  I'll send a detailed reply to your other message
after sending this one.