Re: Ping: [PATCH] elf: ELF toolchain --without-{headers, newlib} should provide stdint.h

[Richard Biener via Gcc-patches]

On Mon, Oct 10, 2022 at 8:06 PM Arsen Arsenović via Gcc-patches
<gcc-patches@gcc.gnu.org> wrote:
>
> Evening,
>
> Ping on this patch, it should fix some configuration issues we get on
> ELF targets (especially in libstdc++).
>
> https://gcc.gnu.org/pipermail/gcc-patches/2022-October/602751.html

OK.

Thanks,
Richard.

> Thanks,
> --
> Arsen Arsenović