Re: [PATCH] Use substituted GDCFLAGS

[Iain Buclaw via Gcc-patches]

Excerpts from Andreas Schwab via Gcc-patches's message of Juli 24, 2023 11:15 
am:
> Ping?
> 

OK from me.

Thanks,
Iain.