http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27338
Steve Ellcey <sje at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |sje at gcc dot gnu.org
--- Comment #2 from Steve Ellcey <sje at gcc dot gnu.org> 2013-01-10 18:34:11
UTC ---
Richard, has the need for any documentation change been removed by the age of
this defect? Perhaps it should just be closed now.
