Manuel López-Ibáñez wrote: > Paolo, the patch has been committed as rev 138893. > I noticed Manuel, many thanks both to you and Gaby for the quick reply. I'm going to re-instate the preferred libstdc++-v3 code. Paolo.