Am 20.07.2010 19:24, schrieb Jonathan Wakely: > On 20 July 2010 01:36, Martin Gieseking wrote: >> Does anybody know if this is a known issue, or should I file a bug report? > > Please file a bug report, if it's a known issue someone will mark it > as a duplicate.
Done (http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45008). Thanks for the advice. Martin
