PATCH: libstdc++/7680 (related to RFC posted last week)

[Gabriel Dos Reis]

Carlo Wood <carlo@alinoe.com> writes:

[...]

| It was my understanding that this is were extensions should
| be put (Benjam did put it there actually).

That is OK.

| Please let me know if it needs to be moved :/

Nobody is proposing to move them out.  The issue is whether there is a
need for a private namespace and if so where to put it.

-- Gaby