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



--- Comment #3 from Akim Demaille <akim.demaille at gmail dot com> 2013-04-11 
16:23:57 UTC ---

Agreed.  Sorry for the noise, I was not aware of this page.

Reply via email to