merge branch profile-stdlib -- ping 3

[Silvius Rus]

On Wed, Jul 29, 2009 at 1:47 PM, Silvius Rus <rus@google.com> wrote:
>
> On Mon, Jul 20, 2009 at 10:23 AM, Silvius Rus <rus@google.com> wrote:
> >
> > Hello libstdc++ maintainers,
> >
> > Here's my weekly ping.  Could you please take another look.  The
> > latest check-ins covered:
> > - Make the user interface consistent.
> > - Clean up code.  Fix names, move all user-visible knobs to a single file.
> > - Add test to exercise all the current diagnostics.
> > - Fix documentation.  Fix user manual.  Add developer manual.
> > - Fix bugs.
> >

Thank you,
Silvius