Re: google branch breakage

[Jonathan Wakely]

On 1 October 2013 16:49, Paul Pluzhnikov wrote:
>
> Paolo, does attached patch look correct for trunk?

There would need to be a corresponding _GLIBCXX_END_NAMESPACE_VERSION.