On 1 January 2013 03:33, Kenny Simpson wrote: > http://gcc.gnu.org/onlinedocs/libstdc++/manual/abi.html > > does not seem to have updates for gcc 4.7 in sections 3,4,7. > > e.g. should there be an entry in section 3 like... > GCC 4.7.0: libstdc++.so.6.0.17 Thanks, I'll fix it in svn, but the online copy will probably stay out of date as I can't update it.