Hi all,

Sorry for sending the ping here, but gcc-patches seems to be completely
overwhelmed and my patch keeps getting buried

Cheers,

https://gcc.gnu.org/pipermail/gcc-patches/2023-August/627913.html

best regards,
Julian