On 01/17/2012 11:31 PM, Jonathan Wakely wrote: > On 17 January 2012 21:14, François Dumont wrote: >> Ok to commit ? > OK, thanks. Great. Please also double check with the submitters of libstdc++/51845 (ask on the audit trail?) that it's actually fixed by the same patch, and in case resolve it as duplicate. Thanks again, Paolo.