https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112873
--- Comment #19 from Steve Kargl <sgk at troutmask dot apl.washington.edu> --- On Thu, Dec 14, 2023 at 05:03:35PM +0000, jvdelisle at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112873 > > --- Comment #18 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> --- > I have the patch applied. > > make pdf and make info work as expected. I fixed a minor typo in a comment > for > intrinsic.cc. I have a few of the git magics to do. Shall I submit to the list > before commit? > Given that Harald reviewed my initial submission, and you now have taken the patch and reviewed it sufficiently to find a typo, I think you can commit it. Submit whatever you've committed to the list and refer to the PR for our discussion.
