------- Comment #65 from reichelt at gcc dot gnu dot org 2008-12-28 22:16 ------- Janis, Manuel, is this fixed now?
--
reichelt at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |reichelt at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25241
