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

--- Comment #4 from Mario Baumann <mario-baumann at web dot de> 2012-02-06 
12:41:11 UTC ---
Hi Jonathan,

the attached fix works for bug 52133. Thanks!

Mario.

Reply via email to