------- Comment #7 from redi at gcc dot gnu dot org  2010-09-23 15:28 -------
I'm going to add something to the docs, so I'll keep this PR open until I do
that, so reopening ...


-- 

redi at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45760

Reply via email to