On Jan 23, 2026, at 10:12 AM, Joseph Myers <[email protected]> wrote:
> 
> Ping.  This patch 
> <https://gcc.gnu.org/pipermail/gcc-patches/2026-January/705949.html> is 
> pending review.

Oked in original post.

Reply via email to