------- Comment #12 from dfranke at gcc dot gnu dot org 2010-05-08 20:07 ------- In reply to comment #11) > Paul, can we close this one?
This PR sat here WAITING for a few months. Everything seems to be done, thus closing now. -- dfranke at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |RESOLVED Resolution| |FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22571