FX Coudert Wed, 18 Sep 2024 10:54:16 -0700
Thanks, pushed as https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=fe1ed68000d5e9d41ed48ef1202fd21c8b8c9ff8
FX