Re: Status of 'blacklist' patch?

Eli Zaretskii
2011-11-03T03:54:29Z

> Date: Wed, 2 Nov 2011 22:42:35 +0000
> From: "Maciej W. Rozycki" <macro@codesourcery.com>
> CC: Stan Shebs <stanshebs@earthlink.net>, <gdb-patches@sourceware.org>
>
> OK to apply the fix for the build errors below?

No, please don't remove the @node line. Instead, add to the parent
node a @menu that mentions this node, or add the node to an existing
menu, if the parent node already has a menu.

> -stepping. @xref{Specify Location}
> +stepping. @xref{Specify Location}.

This part is fine, thanks.