http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47672

--- Comment #2 from Andreas Schwab <[email protected]> 2011-05-02 17:20:40 
UTC ---
I'd rather remove that file.

Reply via email to