Ping.

I see that GCC-14 has been released recently.  This is a gentle ping to
see if this is a better time for this patch.

Have a lovely day!
Alex