Re: Patch ping

[Paolo Carlini]

On 02/03/2012 11:13 AM, Jakub Jelinek wrote:

- http://gcc.gnu.org/ml/gcc-patches/2012-01/msg01492.html
   update libstdc++ baseline_symbols.txt for several targets

This is Ok (sorry for not telling you explicitly earlier)

Thanks,
Paolo.