http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55041
Benjamin Kosnik <bkoz at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED --- Comment #17 from Benjamin Kosnik <bkoz at gcc dot gnu.org> 2013-01-24 18:54:51 UTC --- Thanks for the ping Tom. Confirmed: let's go ahead and close this.