On 08/10/2012 09:17 PM, Marc Glisse wrote: > Ping > > http://gcc.gnu.org/ml/gcc-patches/2012-07/msg01440.html I would say, let's give Gaby and Benjamin another couple of days, then Marc is welcome to commit the patch. And, after all the help he gave us to sort out the Sparc issues vs c++11 we can only trust him about the header intricacies, eh! Thanks! Paolo.