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

[Arsen Arsenović via Gcc-patches]

On Tuesday, 11 October 2022 08:47:32 CEST Richard Biener wrote:
> OK.

Thanks for the review.  I don't have push rights currently, so could you 
push this for me?

Have a good evening,
-- 
Arsen Arsenović

signature.asc
Description: This is a digitally signed message part.