Richard Sandiford via Gcc-patches <gcc-patches@gcc.gnu.org> writes: > Ping for the patch below
Ugh, somehow missed Jeff's OK over the weekend. Sorry for the noise! Richard
Richard Sandiford via Gcc-patches Mon, 13 Feb 2023 02:47:13 -0800
Richard Sandiford via Gcc-patches <gcc-patches@gcc.gnu.org> writes: > Ping for the patch below
Ugh, somehow missed Jeff's OK over the weekend. Sorry for the noise! Richard