------- Comment #7 from tobi at gcc dot gnu dot org 2007-03-31 12:37 ------- Sorry, it was a local problem. I'm also sorry that I didn't add myself to the CC list, and therefore missed your answer :(
-- tobi at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |tobi at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31196