Re: [ping] Partially fix PR debug/53927

[Richard Biener]

On Fri, Jun 6, 2014 at 9:42 AM, Eric Botcazou <ebotca...@adacore.com> wrote:
> https://gcc.gnu.org/ml/gcc-patches/2014-05/msg00573.html
>
> Thanks in advance.

Ok.

Thanks,
Richard.

> --
> Eric Botcazou