------- Additional Comments From lars dot sonchocky-helldorf at hamburg dot de 2005-01-05 02:12 ------- Of course I did reboot my machine. I even checked if /dev/null was there again. And I can tell you it was.
-- What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |UNCONFIRMED Resolution|DUPLICATE | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19248