[PATCH 1/2] Fix issues with gdb-memory-map.dtd
Eli Zaretskii
eliz@gnu.org
Fri Nov 10 08:01:00 GMT 2017
> 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.
More information about the Gdb-patches
mailing list