FX Coudert Wed, 10 Jul 2024 08:07:27 -0700
Thanks, pushed as https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=8326956159053b215b5cfe6cd41bfceff413491e
FX