This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH 1/2] Fix issues with gdb-memory-map.dtd
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Simon Marchi <simon dot marchi at ericsson dot com>
- Cc: gdb-patches at sourceware dot org
- Date: Fri, 10 Nov 2017 10:01:13 +0200
- Subject: Re: [PATCH 1/2] Fix issues with gdb-memory-map.dtd
- Authentication-results: sourceware.org; auth=none
- References: <1510269503-12483-1-git-send-email-simon.marchi@ericsson.com>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> 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.