------- Comment #17 from ebotcazou at gcc dot gnu dot org 2010-01-25 06:58 ------- Jakub, what to do with this PR? It is still marked "blocker" although it seems to have blocked nothing.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ebotcazou at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37022
