Hi All,

Ping for https://gcc.gnu.org/pipermail/gcc-patches/2025-July/689920.html

It has already been approved here:
https://gcc.gnu.org/pipermail/gcc-patches/2025-July/689922.html
with a note to commit it, but I don’t have commit access.
Could someone please help commit it on my behalf?
Thanks,
Harish


Thanks,
Harish

Reply via email to