Hi,
Jonathan Wakely <jwakely....@gmail.com> ha scritto: >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. Indeed. Otherwise, if the patch passes testing (in the various configs) it's certainly Ok with me. Thanks, Paolo