Thank you very much!

Sergey
On Aug 19, 2024 at 00:55 +0800, FX Coudert <fxcoud...@gmail.com>, wrote:
> Thanks Sergey,
>
> I have pushed the patch at 
> https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=1cfe4a4d0d4447b364815d5e5c889deb2e533669
>
> FX

Reply via email to