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

Reply via email to