http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54388
Benjamin Kosnik <bkoz at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bkoz at gcc dot gnu.org --- Comment #7 from Benjamin Kosnik <bkoz at gcc dot gnu.org> 2012-08-28 17:52:45 UTC --- I like #5 Jonathan, thank you. It's ok if the initial implementation got things wrong and we have to correct them later. No sweat. We can just update the paper anyway.