Re: [ping] Fix error recovery issue with alias

[Jan Hubicka]

> http://gcc.gnu.org/ml/gcc-patches/2013-06/msg01417.html
OK,
thank you!
Honza
> 
> Thanks in advance.
> 
> -- 
> Eric Botcazou