http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54973 --- Comment #4 from Frédéric Buclin <LpSolit at netscape dot net> 2012-10-18 13:37:50 UTC --- If everybody is happy with this mockup, I can push it live later today. Does it need any formal approval?