https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119586
Jerry DeLisle <jvdelisle at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jvdelisle at gcc dot gnu.org
--- Comment #9 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> ---
(In reply to GCC Commits from comment #8)
> The master branch has been updated by Jerry DeLisle <[email protected]>:
>
> https://gcc.gnu.org/g:e2bf0b3910de7e65363435f0a7fa606e2448a677
>
> commit r16-939-ge2bf0b3910de7e65363435f0a7fa606e2448a677
> Author: Jerry DeLisle <[email protected]>
> Date: Wed May 28 07:56:12 2025 -0700
I biffed the PR number, sorry about that. How to fix?