[PATCH, doc]: Rename Index node to prevent file collision

Eli Zaretskii eliz@gnu.org
Tue Jul 3 16:23:00 GMT 2012


> From: Michael Hope <michael.hope@linaro.org>
> Date: Mon, 2 Jul 2012 13:02:56 +1200
> Cc: brobecker@adacore.com, joseph@codesourcery.com, gdb-patches@sourceware.org
> 
> On 2 July 2012 07:55, Eli Zaretskii <eliz@gnu.org> wrote:
> > Ping!  Should I commit this?
> 
> It fixes my issue,

Committed.



More information about the Gdb-patches mailing list