[RFC] libstdc++/5734

[Gabriel Dos Reis]

Levente Farkas <lfarkas@mindmaker.hu> writes:

[...]

| > I'd rather not remove the function, since a) it can be useful, and b)
| > I suspect people are already using it.
| 
| this is true for all sgi extension too, and since they are moved to 
| different namespace the same problem come up with them too...

The problem for those extensions moved to <ext/xxx> is less acute that
this one -- here we have a member function, whereas in the former, the
users just need to adjust (almost automatically) headers.

-- Gaby