On 14 December 2012 21:58, Jonathan Wakely wrote: > Gerald did ask me to update the libstdc++ docs but I didn't (and I'm > still not sure what the consensus was regarding which link to use.)
Actually the right fix for the libstdc++ docs seems pretty obvious, I'll do it tomorrow.