https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108727
Kewen Lin <linkw at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
URL| |https://gcc.gnu.org/piperma
| |il/gcc-patches/2023-March/6
| |13441.html
--- Comment #4 from Kewen Lin <linkw at gcc dot gnu.org> ---
(In reply to Alan Modra from comment #3)
> Yes, looks good to me.
Thanks Alan! An formal patch was posted as URL field.
