Re: [PATCH 1/2] Fix issues with gdb-memory-map.dtd

Simon Marchi
2017-11-10T21:01:59Z

On 2017-11-10 03:01, Eli Zaretskii wrote:
>> From: Simon Marchi <simon.marchi@ericsson.com>
>> CC: Simon Marchi <simon.marchi@ericsson.com>
>> Date: Thu, 9 Nov 2017 18:18:22 -0500
>>
>> gdb/doc/ChangeLog:
>>
>> * gdb.texinfo (Memory Map Format): Update gdb-memory-map.dtd.
>
> It's technically a documentation patch, but I don't think I have
> anything intelligent to say about it. Would someone else please
> review this in my stead?
>
> Texinfo-wise, there are no problems in the patch.

Thanks for taking a look.

Simon