------- Comment #12 from redi at gcc dot gnu dot org 2010-01-25 19:47 ------- CC'ing a release manager
-- redi at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at redhat dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42824