Re: [PATCH] microMIPS support

[Eli Zaretskii <eliz@gnu.org>]

> Date: Sat, 19 May 2012 00:12:42 +0100
> From: "Maciej W. Rozycki" <macro@codesourcery.com>
> CC: <gdb-patches@sourceware.org>
> 
> > >  Thanks for your proposal, even though my original concern about pages 
> > > containing single-entry menus still stands.  This doesn't really matter 
> > > however for two reasons, first and foremost because you have the power to 
> > > override my objection to any changes to the manual, and second because it 
> > > contains changes irrelevant to my change and as such I cannot integrate 
> > > them.  Please split changes to the existing pieces of the manual off and 
> > > commit them separately.  I'll extract the rest and fold into my change.
> > 
> > Which changes are irrelevant?  I tried deliberately to put aside any
> > such unrelated changes, but maybe I missed some.
> 
>  I have now extracted them and provided below, for a reference.

Thanks.  These are part of converting the entire section to using
nodes, so I considered them a part of the rest.

> I have 
> now committed them assuming that anything you have proposed has been 
> self-approved.  I'll be providing the rest with the final version of the 
> microMIPS change separately as soon as I have committed it straight away.

Thanks.