[ping] couple of pending patches

[Richard Biener]

On Mon, May 27, 2013 at 11:52 AM, Eric Botcazou <ebotcazou@adacore.com> wrote:
> Hi,
>
> Add workaround for LEON 3 FP errata (for the builtins.c bits):
>   http://gcc.gnu.org/ml/gcc-patches/2012-11/msg01950.html

Ok.

Thanks,
Richard.

> Introduce #pragma GCC diagnostic off (for the diagnostic.c bits):
>   http://gcc.gnu.org/ml/gcc-patches/2013-04/msg01149.html
>
> Thanks in advance.
>
> --
> Eric Botcazou