https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112973
sandra at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |FIXED --- Comment #2 from sandra at gcc dot gnu.org --- Fixed, along with some other too-long lines and copy-editing problems in the same section.