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

--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-07-21 
15:49:16 UTC ---
Agreed (indeed, I saw both in Bugzilla but never figured out which one you
preferred ;)

Reply via email to