https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63529
kargl at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P4
Status|WAITING |RESOLVED
Resolution|--- |FIXED
Target Milestone|--- |9.0
--- Comment #15 from kargl at gcc dot gnu.org ---
I've committed the documentation update from comment #13.
Russell, thanks for the report, and sorry it took
so long to determine what to do with it.
