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