manual patch (again)

[Paolo Carlini]

On 02/22/2010 10:29 PM, Dave Korn wrote:
> The current wording is perfect idiomatic English, there's no need to
> change
> it.  If it were to be reworded, the suggestion isn't quite correct w.r.t.
> word-ordering: it should be "Although we would like to avoid uses of stdlibc++
> within our instrumentation library as much as possible, containers..."
>
>   Of course nobody's mentioned so far that it should be libstdc++, not
> stdlibc++ at all!
>   
;) Thanks Dave, let's fix that, it's definitely urgent.

Paolo.